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