функциональное программирование
Добавлено: 05 окт 2015, 14:00
Про функциональное программирование здесь в форуме "размазано" по разным темам уже было несколько ....
Но тут вот появился (мне указали) отдельный обстоятельный видеокурс, точнее - 12 полуторочасовых видеокурсов:
На примере Haskell.
Но тут вот появился (мне указали) отдельный обстоятельный видеокурс, точнее - 12 полуторочасовых видеокурсов:
Материал очень свежий - 2015 год.Функциональное программирование
Computer Science Center
12 видео
Обновлен 14 авг. 2015 г.
Курс знакомит слушателей с функциональными языками программирования и методами программирования на этих языках.
Мы рассмотрим отличия функционального подхода к программированию от традиционного императивного, познакомимся с лямбда-исчислением, как теоретической основой функционального программирования, изучим системы типов функциональных языков и алгоритм вывода типов Хиндли-Дамаса-Милнера.
Мы познакомимся с языком программирования Haskell, изучим ленивую и энергичную семантики, алгебраические типы данных и их использование для сопоставления с образцом. Изучая систему типов языка Haskell, мы обсудим параметрический и специальный полиморфизм и, в частности, механизм классов типов.
Мы изучим основные классы типов из стандартной библиотеки Хаскелла, в том числе функторы, аппликативные функторы и монады. Мы обсудим различные стратегии свертки и обхода списков, деревьев и познакомимся с обобщением этих операций в классах типов Foldable и Traversable.
Мы научимся программировать, используя стандартные монады, в частности обсудим проблему ввода-вывода в чистых языках и его реализацию в Haskell с помощью монады IO, а также работу с изменяемым состоянием с помощью монады State и родственных ей монад.
На примере Haskell.