Курс «Функциональное программирование»

Русскоязычный видеокурс от НОУ «ИНТУИТ», записанный в 2013 году. Цель курса — познакомить слушателей с парадигмой функционального программирования, в которой решение задач сводится к построению функций на основе принципов функциональной абстракции и аппликации. Лектор курса — Дмитрий Сошников.

В курсе подробно разбираются теоретические основы функционального программирования: лямбда-исчисление, комбинаторная логика, вопросы вычислимости. Рассматриваются вопросы использования функциональных языков для построения компиляторов, грамматического разбора и т.д. Также на примере функционального подхода дается представление о теоретических разделах компьютерных наук таких, как семантика языков программирования и доказательство программ.

Смотрите также другие наши материалы по функциональному программированию.