Oleg Lustenko Software Developer в EPAM Kharkiv 3-е свидание с functional-js, что дальше

1. Ole L t o
@oleglustenko
3е свидание c functional-js что дальше ?

2. 3е свидание с
functional-js,
что дальше ?

3. Чего не будет на
этом докладе ?

4. purely functional front-end language
Чего не будет на этом докладе ?

5. purely functional front-end language
purely functional front-end language
Чего не будет на этом докладе ?

6. purely functional front-end language
purely functional front-end language
purely functional front-end language
Чего не будет на этом докладе ?

7. purely functional front-end language
functional front-end language
purely functional front-end language
purely functional front-end language
Чего не будет на этом докладе ?

8. Чего не будет на этом докладе ?

9. Чего не будет на этом докладе ?

10. Чего не будет на этом докладе ?

11. Redux
Чего не будет на этом докладе ?

12. Чего не будет на этом докладе ?

13. RxJs

14. RxJs
И его тоже не будет :)

15. - Частная имплементации
EventStream
RxJs

16. functional
programming

17. pure fp
- Нет циклов

18. pure fp
- Нет циклов
- Нет переменных

19. pure fp
- Нет циклов
- Нет переменных
- Нет мутабельности

20. pure fp
- Нет циклов
- Нет переменных
- Нет мутабельности
- Нет “Императивности”

21. pure fp
- Нет циклов
- Нет переменных
- Нет мутабельности
- Нет “Императивности”
--------------------------------
- null check ?
- callbacks ?
- errors ?
- side effects ?

22. pure fp
- Нет циклов
- Нет переменных
- Нет мутабельности
- Нет “Императивности”
- рекурсия
- функция как
переменная
- Иммутабельность
- “Декларативность”

23. - null
- errors
- callbacks
- side effects
daily job activities

24. Говорить мы будем о
Функторах и Монадах !

25. 1. Re-think

26. 1. Re-think
2. Re-load

27. 1. Re-think
2. Re-load
3. Re-born

28. Пра-родители ФП
- композиция - compose
- каррирование - curry

29. curry

30. compose

31. real compose

32. compose

33. compose

34. compose

35. compose

36. compose

37. real compose

38. real compose

39. real compose

40. real compose

42. - null
daily job activities

43. - null
daily job activities

44. Re-think

45. 1. Re-think
2. Re-load
3. Re-born

46. Объекты

47. Re-think Объекты
1. Объект это Контейнер/Wrapper для
значения

48. Re-think Объекты
1. Объект это Контейнер/Wrapper для
значения
2. Методы отсутствуют

49. Re-think Объекты
1. Объект это Контейнер/Wrapper для
значения
2. Методы отсутствуют
3. Не является существительным

50. Re-think Объекты
1. Объект это Контейнер/Wrapper для
значения
2. Методы отсутствуют
3. Не является существительным
4. Большинство Объектов за вас уже
“создано”

60. Фунтор
Объект или структура данных
к которой можно применить .map
interface:
method -> map

61. - null
daily job activities

62. Maybe Functor
- Проверку является ли значение null
- Значения внутри может не
существовать
- Иногда имеет 2 саб-класса
Just/Nothing или Some/None

63. Maybe Functor

64. - null
daily job activities

65. - null
daily job activities

66. - null
- errors
- callbacks
- side effects
daily job activities

67. Either(“Или”) Functor
- Обычно используется для
логирования ошибок
- Почти как Maybe Functor, вместо null
отдает сообщение об ошибке
- Имеет 2 саб-класса Left/Right
- .map работает с Right и игнорирует
Left

68. Either(“Или”) Functor

69. Either(“Или”) Functor

70. - null
- errors
- callbacks
- side effects
daily job activities

71. EventStream Functor
- Бесконечный список результатов
- Маппинг для ленивого обновления
данных
- Вызывает замапленную функцию
каждый раз при срабатывании
события

72. EventStream Functor

73. EventStream Functor

74. - null
- callbacks
- errors
- side effects
daily job activities

75. IO Functor
- “Конструктор” для ленивых
вычислений
- Обычно используется для side-effects
- Отложенный запуск только после
команды runIO
- .map - добавляет функцию в очередь,
выполняющуюся при runIO

76. IO Functor

77. IO Functor

78. IO Functor

79. IO Functor

80. IO Functor

81. - null
- callbacks
- errors
- side effects
daily job activities

83. Задача: Получить Название улицы пользователя

88. Monads

89. Монада
“Для вложенных вычислений”
Monad interface:
method -> mjoin
method -> chain
Pointed Functor + mjoin|chain = Monad
Pointed Functor interface:
method -> of
of :: value -> Functor(value)

90. Монада
mjoin :: M M a -> M a

92. Монада
mjoin :: M M a -> M a

93. Монада

94. Монада

95. Re-born

96. [x].map(f) // [f(x)]
Maybe(x).attempt(f) // Maybe(f(x))
Promise(x).then(f) // Promise(f(x))
EventStream(x).subscribe(f) // EventStream(f(x))
Разные имена:
map(f, [x]) // [f(x)]
map(f, Maybe(x)) // Maybe(f(x))
map(f, Promise(x)) // Promise(f(x))
map(f, EventStream(x)) // EventStream(f(x))
Мы видим, что это map
Re-born

97. FP - structures

98. Библиотеки имплементирующие API

99. Благодарю за внимание
@oleglustenko