1. Функциональное
программирование
Алонзо Чёрч (14 июня 1903, Вашингтон, США —
11 августа 1995, Хадсон, Огайо, США) —
выдающийся американский математик и логик.

2. Если сильно поковырять
программирование – найдешь
математику

3. Теория вычислимости
Машина Тьюринга
Теория алгоритмов
Лямбда-исчисление
Математическая логика
Дискретная математика
Вычислительная сложность

4. Управление сложностью
Человек перестает понимать принципы работы системы,
которую создал

15. У языков может быть разная основа в
математике. У функциональных языков в
основе – лямбда исчисление

16. Функциональные языки
MIT 6.001

19. Функциональное программирование
● «Нет» циклов
● «Нет» ветвлений
● «Нет» переменных
● «Нельзя» изменять
объекты
● «Нет» побочных
эффектов у функций

20. Вычисление факториала. Haskell

21. JS и функциональное программирование
JS – мультипарадигменный язык,
частично поддерживает
функциональное программирование

22. Основное понятие – функция (отображение, оператор,
преобразование) в ее математичеком смысле
x.2(x+5) –λ абстракция
( x.2(x+5)) 4 –λ аппликация

24. Функции лишены побочных эффектов и
детерминированы, результат зависит только от
входных данных (нет ввода / вывода, изменения
глобальных переменных).

25. x = x + 1

26. Нет переменных – только константы

27. Функция – обычный объект, она может быть передана как
параметр, возвращена из функции, присвоена
переменной . Иными словами, она – First-class citizen.
Данные и код – одно целое

28. Функция – тоже «человек»!

29. Вместо циклов можно использовать рекурсию и
работу с массивами

30. Вместо циклов можно использовать рекурсию и
работу с массивами

31. Reduce – функция высшего порядка (как
интегрирование и дифференцирование)

32. Закон Бенфорда. А не врет ли нам
статистика?

33. Вычисление при помощи reduce

34. Reduce уже есть!

35. Еще есть map!

36. MapReduce

37. Array comprehensions

38. Каррирование – все функции могут быть
от одного аргумента

39. В чем преимущества?

40. ● Кеширование
● Параллелизм
● Тестирование
● Динамический язык (код – это тоже данные)
● Автоматические оптимизации
● Декларативность

41. Декларативное (что?) и
императивное (как?)
программирование

42. Борщ — разновидность супа на основе
свёклы, традиционное блюдо
украинской кухни. К настоящему
времени получил распространение
среди многих народов восточной и
центральной Европы. В частности,
входит в национальные кухни России
Что?
Как?

43. А недостатки?

45. Нам нужны побочные эффекты
(ввод/вывод, random)!

46. Оптимизация

48. Пользуйтесь разными инструментами!

49. Спасибо!