Роман Неволин «Функциональный .NET»

Пожалуй, уже не осталось .NET разработчиков, не слышавших об F#. Но далеко не каждый понимает, что это за язык и зачем рядовому разработчику «эта ваша функциональщина». Самое время это исправить! Мы поговорим как о роли и преимуществах функционального программирования в целом, так и о его использовании в языке F#. Посмотрим на кейсы применения функционального подхода и разберем, как ФП позволяет «проапрегрейдить» ваш код.

Transcript

2. Сегодня будет Много функционального кода.
3. Сегодня будет Много функционального кода. Много простого функционального кода.
4. Сегодня будет Много функционального кода. Много простого функционального кода. Много простого функционального кода на слайдах.
5. Сегодня будет Много функционального кода. Много простого функционального кода. Много простого функционального кода на слайдах. Естественно, монады (иначе меня просто не поймут).
6. Функция – это объект (первого класса) Композиция функций. Много композиции. Типы вместо классов Неизменяемое состояние (Immutable state) Столпы функционального подхода
7. Функция – это объект
8. Tree -> Firewood Функция – это объект
9. Функция – это объект Integer -> String String Integer Employee SalaryReport Employee -> SalaryReport HttpReqes t HttpResponse HttpReqest -> HttpResponse
10. Функция – это объект int -> int -> int
11. Функция как результат или параметр
12. Ода оператору pipe-forward |>
13. Ода оператору pipe-forward Input |> function function input
14. Ода оператору pipe-forward Input |> function function input
15. Ода оператору pipe-forward Input |> function function input
16. Композиция. Повсюду.
17. Tree -> Firewood Композиция. Повсюду. Firewood -> Home
18. Композиция. Повсюду. Tree -> Firewood Firewood -> Home > > Tree -> Home
19. Плохая новость – это работает только для тех функций, которые принимают один параметр 
20. Плохая новость – это работает только для тех функций, которые принимают один параметр  Хорошая новость – все функции в F# принимают один параметр! 
21. Каррирование
22. Каррирование
23. Каррирование
24. Функции в малом, объекты в большем
25. Функции в малом, объекты в большем
26. Функции в малом, объекты в большем функции
27. Функции в малом, объекты в большем функции
28. Композиция. Повсюду. RemovePunctuation String String Actio n
29. Композиция. Повсюду. Action Action Action ValidationService Text Validation Result Servic e
30. Композиция. Повсюду. Service Service Service UpdateProduct Product Data Update Result Use- case
31. Композиция. Повсюду. Use-case Use-case Use-case Web Application Http Request Http Response Application
32. Типы вместо классов
33. Integer Is a type Типы вместо классов
34. Типы вместо классов Is a type Id : Integer Name : String User
35. Типы вместо классов Is a type Id : Integer Name : String User X DateTime = Birthdate (User*DateTime) Производные типы User
36. Типы вместо классов Is a type Id : Integer Name : String User X DateTime = Birthdate (User*DateTime) Производные типы User + Employee = | User of Id*Name | Employee of Id * Position User
37. Здесь должен быть долгий рассказ о том, как прекрасна функциональщина…
38. Но лучше один раз увидеть!
39. Параметризируем поведение
40. Параметризируем поведение
41. Параметризируем поведение Захардкоженные данные – это плохо!
42. Параметризируем поведение
43. Параметризируем поведение На самом деле, мы только что реализовали одну из базовых функций F# - Seq.iter
44. Параметризируем поведение. Опять. ООП (на самом деле, императивная) версия
45. Параметризируем поведение. Опять. ООП (на самом деле, императивная) версия Функциональная версия
46. Параметризируем поведение. Опять. ООП (на самом деле, императивная) версия Функциональная версия
47. Функции вместо интерфейсов
48. Функции вместо интерфейсов
49. Функции вместо интерфейсов А что если я скажу тебе Что классы не нужны?
50. Функции вместо интерфейсов А что если я скажу тебе Что классы не нужны? calculator Integer Integer
51. Логгируем функционально
52. Логгируем функционально
53. Логгируем функционально
54. Внедряем зависимости
55. Внедряем зависимости
56. Внедряем зависимости
57. Внедряем зависимости
58. Внедряем зависимости
59. Продолжения Или «Голливудский принцип»
60. Продолжения
61. Продолжения
62. Продолжения Мы не хотим отправлять исключения, мы хотим обработать ошибку!
63. Продолжения
64. Продолжения Серьезно, 4 параметра?!
65. Продолжения Серьезно, 4 параметра?!
66. Цепочка продолжений Во славу Сатане
67. Цепочка продолжений Во славу Сатане
68. Цепочка продолжений Во славу Сатане добра
69. Цепочка продолжений
70. Цепочка продолжений
71. Цепочка продолжений null – это плохой стиль! Возможно, стоит...
72. Цепочка продолжений
73. Цепочка продолжений
74. Цепочка продолжений (на самом деле нет)
75. Цепочка продолжений
76. Цепочка продолжений
77. Цепочка продолжений
78. Цепочка продолжений
79. Цепочка продолжений
80. Кстати, здесь были монады
81. Кстати, здесь были монады
82. Что? Монады?
83. Что? Монады? Monadic Bind
84. Монады на службе валидации
85. Монады на службе валидации
86. Монады на службе валидации
87. Монады на службе валидации
88. Функциональный вариант : без валидации
89. Функциональный вариант : с валидацией
90. Функциональный вариант : с валидацией
91. Функциональщина – это мощно
92. Функциональщина – это мощно* * При разумном и своевременном использовании
93. Хочу учить этот ваш F#! Tomas Petricek Real-World Functional Programming amzn.com/1933988924
94. Хочу учить этот ваш F#! Scott Wlaschin F# for Fun and Profit fsharpforfunandprofit.com
95. Question -> Answer Q A