FRP. Reflex

OdHUG June 2016 - FRP. Reflex

Transcript

1. FRP. Reflex @sigrlami
2. FRP.Functional Reactive Programming
3. FRP.Reactive Programming • Декларативность • Потоки данных (Data Flow first, Сontrol Flow vs Data Flow) • Понятие времени
4. Типичные примеры • HDLs (Hardware Description Language) • Табличный редактор • Естественный параллелизм FRP.Reactive Programming
5. • Компонуемость (Composability) • Локальная оценка (Local Reasoning) • Трансформируемость (Transformative) FRP. Functional Programming
6. FRP.Functional Reactive Programming • Графический интерфейс (UI) – Элементы выбора – Действия с мышью (устройствами ввода) • Обновление коллекций • Анимация
7. FRP.Functional Reactive Programming История • Conal Elliott 1997 • Paul Hudak 2000
8. FRP.Functional Reactive Programming Библиотеки в ЯП
9. • Библиотеки в Haskell – Reactive-Banana – Arrows – Yampa – Reflex FRP.Functional Reactive Programming
10. • Reflex - cпецификация FRP и ее реализация • Образует платформу reflex-platform – reflex – reflex-dom – reflex-contrib FRP.Reflex
11. • Практичный ФРП должен быть выразительными, понятными и эффективными • Практичный ФРП должен иметь динамическое обновление потока данных • Практичный ФРП должен использовать идеоматический Haskell FRP.Reflex
12. • Reflex 10 примитивов в одном Сlass – 8 чистых – 2 монадических FRP.Reflex
13. Event t a Behaviour t a never :: Event t a constant :: a -> Behavior t a push :: (a -> PushM t (Maybe b)) -> Event t a -> Event t b pull :: PullM t a -> Behavior t a merge :: GCompare k => DMap (WrapArg (Event t) k) -> Event t (DMap k) fan :: GCompare k => Event t (DMap k) -> EventSelector t k select :: EventSelector t k -> k a -> Event t a switch :: Behavior t (Event t a) -> Event t a coincidence :: Event t (Event t a) -> Event t a FRP.Reflex
14. Dynamic t a = Dynamic (Behavior t a) (Event t a) комбинация поведения и события FRP.Reflex
15. • Reflex монада комбинация reader и write • Подписка событий • Подписка слушателей FRP.Reflex
16. Reflex-Dom / GHCJS Фронтэнд для работы с DOM (Html документами) FRP.Reflex
17. • Примеры FRP.Reflex