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

Курс знакомит слушателей с функциональным подходом к программированию, все более набирающим силу в последнее время (наблюдается взрывной рост популярности языков Erlang, Scala, F#). Ключевые свойства этого подхода - борьба со сложностью программ через использование мощных механизмов абстракции и акцент на важность математических свойств программ.

Курс в значительной мере основан на знаменитейшем курсе и книге "Структура и интерпретация компьютерных программ" из MIT, однако адаптирован под ряд особенностей современного программирования и профессиональную подготовку слушателей: обсуждаемые идеи иллюстрируются как в "чистом" виде, так и в контексте типичных повседневных задач.

В курсе рассматриваются следующие наиболее важные идеи из мира функционального программирования:

• лямбда-исчисление,
• рекурсивные и итеративные процессы,
• функции высшего порядка и замыкания,
• абстрактные типы данных,
• свёртки (данная тема особенно важна в контексте параллельного и распределенного программирования),
• мини-языки,
• модель окружений,
• введение в системы типов.