functional patterns - dotnetconf'11
- 1. Теории и практики функционального программирования Акуляков Артём СИБИНФОСОФТ 11-я конференция .NET разработчиков 31 октября 2015 dotnetconf.ru
- 2. Кто я? / 5+ лет dotNet interpraise / 2+ лет python freelance / 2+ I love FP 2
- 3. К ЧЕМУ ЭТО ВСЕ? 3
- 4. Слишком часто слышно... - я боюсь функционального программирования! 4
- 6. ООП против ФП 6 SOLID IoC GRASP GangOfFour MVC, MVP, MVVM CQRS EventSourcing DDD ...
- 7. ООП против ФП SOLID IoC GRASP GangOfFour MVC, MVP, MVVM CQRS EventSourcing DDD ... Functions Type Composition 7
- 9. Функции это тоже значения 9
- 10. Функции это тоже значения let getCalc f x y = fun z -> (f x) + y + z let calc = getCalc toX10 1 2 let result = calc value 10
- 11. Композиция 11
- 12. Композиция : функции let read (x : string) : int = int(x) let mult (x : int) : int = x * x let write (x : int) : string = string(x) 12
- 13. Композиция : функции let readMultWrite1 x = write (mult (read x)) // x : string -> string let readMultWrite2 = read >> mult >> write // string -> string 13
- 14. Композиция a → b » b → c a → c 14
- 15. Композиция #большекомпозиции a → b » b → c » ... » x → z a → z 15
- 16. Композиция : функции #операторыкомпозиции let (>>) f1 f2 = fun p -> f1 f2 p let (<<) f1 f2 = fun p -> f2 f1 p 16
- 17. ПРОБЛЕМА: Оператор композиции определен только для функций с одним аргументом 17
- 18. РЕШЕНИЕ: Все функции это на самом деле функции от одного аргумента 18
- 19. Композиция : функции #каррирование let add x y = x + y // int -> int -> int let add2 = add 2 // int -> int let res = add2 2 // val res : int = 4 19
- 20. Композиция : функции #операторыкомпозиции let (>>) f1 f2 p = f2(f1 p) let (<<) f1 f2 p = f1(f2 p) 20
- 21. Типы 21
- 22. Типы #обзор type DiscriminatedUnion = | Variant1 of int | Variant2 of string 22
- 23. Композиция : типы type LevelName = string type UID = int type HierarchyIdentifier = | Plain of UID | Complex of LevelName*HierarchyIdentifier 23
- 24. Композиция : типы Complex (LevelName * Complex (LevelName * (Plain) ) ) 24
- 25. ООП и ФП имеют много общих концепций 25
- 26. DI public class BasketCostTranslator : IBasketCostTranslator { private readonly IExchangeRateProvider _provider; public BasketCostTranslator(IExchangeRateProvider p) { // =) } public BasketCost TranslateCost(BasketCost cost, Currency currency) { // =) } } 26
- 27. DI #кариррованиекакdi type ICostTranslator = BasketCost -> BasketCost let costTranslator exchangeProvider currency basket = // =) let translator = costTranslator cbeRateProvider let toUsdTranslator = translator Currency.USD 27
- 28. DI #кариррованиекакdi type ICostTranslator = BasketCost -> BasketCost let costTranslator exchangeProvider currency basket = // =) let translator = costTranslator cbeRateProvider let toUsdTranslator = translator Currency.USD 28
- 29. DI #кариррованиекакdi type ICostTranslator = BasketCost -> BasketCost let costTranslator exchangeProvider currency basket = // =) let translator = costTranslator cbeRateProvider let toUsdTranslator = translator Currency.USD 29
- 30. DI #кариррованиекакdi type ICostTranslator = BasketCost -> BasketCost let costTranslator exchangeProvider currency basket = // =) let translator = costTranslator cbeRateProvider let toUsdTranslator = translator Currency.USD 30
- 31. Кое-что интересное из мира ФП 31
- 32. Мемоизация 32
- 33. Мемоизация #чистыефункции Чистая функция – детерминированная – без побочных эффектов 33
- 34. Мемоизация #чистыефункции let add100 x = x + 100 add100 10 // val it : int = 110 add100 10 // val it : int = 110 add100 20 // val it : int = 120 34
- 35. Мемоизация #ультракеширование let memoize (f: 'a -> 'b) = let dict = new Dictionary<'a, 'b>() let memoized (input: 'a) = match dict.TryGetValue(input) with | true, x -> x | false, _ -> let result = f input dict.Add(input, result) result memoized let memAdder = memoize adder 35
- 36. Мемоизация #ультракеширование let memoize (f: 'a -> 'b) = let dict = new Dictionary<'a, 'b>() let memoized (input: 'a) = match dict.TryGetValue(input) with | true, x -> x | false, _ -> let result = f input dict.Add(input, result) result memoized let memAdder = memoize adder 36
- 37. Что не так с обычным кэшированием? ● Кэш устарел, а данные не изменились – Лишняя нагрузка ● Данные изменились, а кэш еще нет – Пользователи видят неактуальные данные 37
- 40. Мир неидеален 40
- 41. Мемоизация #всеравночистаяфункция function (HttpRequest, DbState) → HttpResponse 41
- 43. Сухой итог ● Функциональное программирование это просто ● Можно использовать привычные приемы, но проще ● Можно заимствовать из функционального программирования хитрые приемы 43
- 45. Спасибо за внимание Вопросы? Акуляков Артём СИБИНФОСОФТ akulyakov.artem@gmail.com vk.com/oxffaa
- 47. Что не так с обычной обработкой ошибок? Исключения прекрасны, но велик соблазн «логики на исключениях» 47
- 48. Обработка ошибок #идеальныймир let handleRequest = readRequest >> readEntityFromDB >> modifyEntity >> createTaskFromEntity >> writeTaskToMQ >> createResultMessage >> sendMessage 48
- 49. 49 Мир неидеален
- 50. Обработка ошибок type Result<'r> = | Success of 'r | Error // 'r -> Result<'r> 50
- 51. Обработка ошибок let handleRequest s = match readRequest s with | Success r -> match readEntityFromDB r with | Success e -> match modifyEntity e with | Success me -> match createTaskFromEntity me with | Success t -> match writeTaskToMQ t with | Success ts -> createResultMessage ts | Error -> Error | Error -> Error | Error -> Error | Error -> Error | Error -> Error 51
- 52. А как же композиция? » 52
- 53. 'a → Result<'b> » 'b → Result<'c> » 'c → Result<'d> » … Типы не совпадают... 53 Обработка ошибок #неработает
- 54. Нужно преобразование ('a → Result<'c>) → (Result<'a> → Result<'c>) 54 Обработка ошибок #решение
- 55. Обработка ошибок #решение Нужно преобразование ('a → Result<'c>) → (Result<'a> → Result<'c>) Как? 55
- 56. Обработка ошибок let handleRequest s = match readRequest s with | Success r -> match readEntityFromDB r with | Success e -> match modifyEntity e with | Success me -> match createTaskFromEntity me with | Success t -> match writeTaskToMQ t with | Success ts -> createResultMessage ts | Error -> Error | Error -> Error | Error -> Error | Error -> Error | Error -> Error 56
- 57. Обработка ошибок #паттернобнаружен let handleRequest s = match readRequest s with | Success r -> match readEntityFromDB r with | Success e -> match modifyEntity e with | Success me -> match createTaskFromEntity me with | Success t -> match writeTaskToMQ t with | Success ts -> createResultMessage ts | Error -> Error | Error -> Error | Error -> Error | Error -> Error | Error -> Error 57
- 58. Обработка ошибок #связываем let bind f = fun x -> match x with | Success r -> f r | Error -> x ('a → Result<'b>) → (Result<'a> → Result<'b>) 58
- 59. Обработка ошибок #композиция let handleRequest = readRequest >> (bind readEntityFromDB) >> (bind modifyEntity) >> (bind createTaskFromEntity) >> (bind writeTaskToMQ) >> (bind createResultMessage) 59
- 60. Обработка ошибок #композиция let handleRequest = readRequest >>= readEntityFromDB >>= modifyEntity >>= createTaskFromEntity >>= writeTaskToMQ >>= createResultMessage 60
- 61. Мы только что изобрели монаду 61
- 62. Сухой итог ● Функциональное программирование это просто ● Можно использовать привычные приемы, но проще ● Можно заимствовать из функционального программирования хитрые приемы ● Монады совсем нестрашные 62
- 63. Спасибо за внимание Акуляков Артём СИБИНФОСОФТ akulyakov.artem@gmail.com vk.com/oxffaa