По материалам конференции .NET разработчиков - www.dotnetconf.ru

1. 3-я конференция .NET разработчиков 25 сентября 2011 Некоторые элементы функциональных языков программирования Александр Карпич

3. λ-нотация

4. Основные элементы ФП

7. Состояния изменяются присваиванием

9. Функциональное программирование

11. Нет присваиваний;

12. Нет последовательного выполнения команд;

13. Подобия циклов с помощью рекурсии;

15. Большее соответствие математическим моделям;

17. Параметризация и модульность;

19. Интерактивные программы;

21. 1958 г. – Дж. Маккарти изобрёл LISP;

22. 1973 г. – Создан язык ML;

23. 1985 г. – На основе ML создан Oсaml;

25. Примеры (λx.2x + 1) 3 β-редукция: (λx.2x + 1) 3 = 2∙3 + 1 δ-редукция: 2∙3 + 1 = 7

26. (λx y.x + y) 1 β-редукция: (λx y.x + y) 1 = λy.1 + y

27. λx y.x + y = λx.(λy.x + y)

28. (λx.xx) (λx.xx) = (λx.xx) (λx.xx) Получили невычислимое выражение. (λx.1)(λx.xx) (λx.xx) = (λy.yy) (λx.xx)

30. Higher-order function (функция высшего порядка);

32. Автоматический вывод типов;

33. Модель типизации Хиндли-Милнера;

35. Pattern matching letxor x y = match x, y with | true, true -> false | true, false -> true | false, true -> true | false, false -> false ;; valxor : bool -> bool -> bool

37. Статическая типизация;

38. Интероперабельность с .NET;

40. fsi.exe – REPL;

41. fsc.exe;

44. Объекты и классы type Book = val title : string val author : string valpublishDate : DateTime new (t, a, pd) = { title = t author = a publishDate = pd}

45. Объекты и классы typeBook = valtitle : string valauthor : string valpublishDate : DateTime new(t:string, a:string, pd) = //произвольный код { title = t author = a publishDate= pd } //произвольный код

46. Объекты и классы type Book= (title : string, author : string,) = memberthis.Title = title member this.Author = author

48. Модификаторы public, private, internal

49. Нет модификатора protected

52. Повысить производительность;

53. Понять суть;

57. C#, Visual Studio

58. ~ 13 000 строк кода

59. ????FAIL

60. Этапы трансляции

62. ~ 4000 строк кода

63. ????PROFIT

64. Проблемы ФП

66. Обучение;

67. Популярность;

69. Литература An introduction to Functional Programming through Lambda Calculus

70. Литература Foundations of F#

71. Литература Expert F#

72. Литература F# for Scientists

73. Спасибо за внимание Александр Карпич avkarpich@gmail.com @_ymn