Иван Бибилов на Я.Студенте в УрФУ. Основы функциоального программирования

1. Функциональное
программирование
Бибилов Иван Владимирович
email
bibilov@yandex-team.ru

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

3. Начнем издалека

4. Зачем нужны и что делают
программисты?

5. Сильный ИИ еще не создан –
компьютеры не понимают
естественный язык

6. Программисты пишут программы на
языках программирования

7. Ада Лавлейс (1815-1852) – первый программист,
графиня, дочь поэта Джорджа Байрона
Мы и «гуманитарии», и
«технари»

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

9. Языки программирования бывают разные

10. ДРАКОН (Дружелюбный русский алгоритмический язык,
который обеспечивает наглядность)

12. Разнообразие языков обусловлено желанием быстро
писать эффективные, легко модифицируемые и понятные
программы

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

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

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

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

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

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

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

35. x=x+1

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

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

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

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

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

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

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

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

44. Reduce уже есть!

45. Еще есть map!

46. MapReduce

47. Array comprehensions

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

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

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

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

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

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

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

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

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

59. Спасибо!