Advertisement
Check these out next
Design of big applications in FP
Feb. 19, 2019•0 likes•129 views
0 likes
Be the first to like this
Show More
views
Total views
0
On Slideshare
0
From embeds
0
Number of embeds
0
Download to read offline
Report
Technology
A talk for LambdaNsk meetup about common approaches to software design and their applicability to FP.
Alexander GraninFollow
Software Developer, Independent Consultant at Independent ConsultantAdvertisement
Advertisement
Advertisement
Recommended
Тестирование как панацея для жизни и развития проекта Evgeniy Kuzmin
Layout testing with galen framework selenium campanna_chernysheva
А. Ахметов "Когда тесты пишут разработчики", DUMP-2014it-people
QA & Testing process в Agile Start UpAgile Base Camp
"Outside In". Web application testing.Mad Devs
QA/Testing process в Agile start-upNikita Filippov
Design of big applications in FP
- Дизайн крупных приложений на функциональных языках Александр Гранин graninas@gmail.com 1
- Технические аспекты разработки крупного ПО Зеленый ✓ ✗ ?: в мейнстриме Красный ✓ ✗ ?: в ФП-мире 2
- GRASP ✓✓✗ SOLID ✓✓✗ Мейнстрим ФП 3
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования Мейнстрим ФП 4
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Мейнстрим ФП 5
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Мейнстрим ФП 6
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Мейнстрим ФП 7
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✗✓? Мейнстрим ФП 8
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Мейнстрим ФП 9
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки Мейнстрим ФП 10
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Мейнстрим ФП 11
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход Мейнстрим ФП 12
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ Мейнстрим ФП 13
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Мейнстрим ФП 14
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Мейнстрим ФП 15
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Продвинутые идеи (FRP, STM, Actor Model, DSL, etc.) Мейнстрим ФП 16
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Продвинутые идеи (FRP, STM, Actor Model, DSL, etc.) ✗? ✓? Мейнстрим ФП 17
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Продвинутые идеи (FRP, STM, Actor Model, DSL, etc.) ✗? ✓? Надежные нетекущие абстракции Мейнстрим ФП 18
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Продвинутые идеи (FRP, STM, Actor Model, DSL, etc.) ✗? ✓? Надежные нетекущие абстракции ✗? ✓✓✓✗? Мейнстрим ФП 19
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Продвинутые идеи (FRP, STM, Actor Model, DSL, etc.) ✗? ✓? Надежные нетекущие абстракции ✗? ✓✓✓✗? Проектирование ПО ✓?✓✗ UML ✓✗ Мейнстрим ФП 20
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Продвинутые идеи (FRP, STM, Actor Model, DSL, etc.) ✗? ✓? Надежные нетекущие абстракции ✗? ✓✓✓✗? Проектирование ПО ✓?✓✗ UML ✓✗ Мейнстрим ФП 21
- GRASP ✓✓✗ SOLID ✓✓✗ Паттерны проектирования ✓✓? Inversion of Control ✓✓? Dependency Injection ✓✓? Тестирование ✓✓✓✓ Отладка ✓✓✓✗✓? Предметно-ориентированные языки ✗?✓ ✓✓✓ Комбинаторный подход ✗?✓ ✓✓✓ “Как это работает” ✓✗?✓ “Чем это является” ✗ ✓ Продвинутые идеи (FRP, STM, Actor Model, DSL, etc.) ✗? ✓? Надежные нетекущие абстракции ✗? ✓✓✓✗? Проектирование ПО ✓?✓✗ UML ✓✗ Мейнстрим ФП 22
- Проектирование ПО на UML 23
- Анализ требований: Use Cases User Scenarios (текст) Sequence Diagrams 24
- Object Diagrams Сommunication Diagrams 25
- Class Diagrams 26
- Class Diagrams Все, приплыли. 27
- Проектирование большого ФП- проекта 28
- Анализ требований: MindMaps 29
- Карта необходимости 30
- Карта элементов (перфекционизм, молчать!) 31
- Карта подсистем 32
- 33
- 34
- 35
- Побочные эффекты, FRP, интерпретаторы и eDSL 36
- 37
- viewFlow :: GameNode -> ViewWire () () viewFlow node = modes Render (selector node) . ( pure () &&& interpret node . printEventVal . filterE isActualEvent . now . event ) Пример FRP-кода (Haskell Netwire) 38
- produce f = do prodObj <- createProduct (f ^. energyCost) (f ^. scheme) placeProduct prodObj (f ^. placementAlg) return "Successfully produced." producingScenario :: Eval String producingScenario = do f <- read fabric if f ^. producing then produce f else return "Producing paused." Пример eDSL игровых сценариев 39
- Ссылки 40 ● Дизайн и архитектура ПО в ФП http://habrahabr.ru/post/211871/ ● Large-scale design in Haskell? (SO) http://stackoverflow.com/questions/3077866/lar ge-scale-design-in-haskell
- Всем спасибо! Александр Гранин graninas@gmail.com 41
- commandInterpreter :: GameNode -> Event -> Command commandInterpreter _ ViewAcc.EventClose = V.Finish commandInterpreter _ _ = V.Render Пример интерпретатора событий 42
- data Command = Finish | Render | StartViewPointMoving ScreenPoint | ViewPointMoving ScreenPoint | StopViewPointMoving ScreenPoint modifyView (StartViewPointMoving scrPt) view = ... modifyView (ViewPointMoving scrPt) view = ... modifyView (StopViewPointMoving scrPt) view = ... Пример eDSL модели представления 43
Advertisement