Город: Санкт-Петербург Казань Язык: Русский English

Функциональное программирование
Санкт-Петербург / осень 2010, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

The course is dedicated to the functional approach to programming, which has lately been gaining popularity (take, for example, such languages as Erlang, Scala, F#). The key properties of this approach are: fighting complexity through use of powerful abstraction mechanisms and an accent on the importance of mathematical properties of programs. The course is largely based on the famous MIT course and book Structure and interpretation of computer programs but is modified to fit a number of traits of modern programming and the listeners' skills: the ideas under consideration are illustrated both in their pure form and in the context of daily programming tasks. The course considers the following key components of functional programming: lambda calculus, recursive and iterative processes, higher-order functions and closures, abstract data types, folds (an especially important topic in the context of parallel and distributed programming), domain-specific languages, the environment model, and also an introduction to type systems is given.

Course homepage and lectures from the spring semester of 2009: http://spbhug.folding-maps.org/wiki/SICP_Course

Дата и время Название Место Материалы
12 сентября
11:15–12:50
Основы лямбда-исчисления, лекция ПОМИ РАН Нет
12 сентября
13:00–14:35
Язык Scheme. Рекурсия и хвостовые вызовы., лекция ПОМИ РАН видео
19 сентября
15:35–17:05
Функции высшего порядка и замыкания, лекция ПОМИ РАН видео
10 октября
15:35–17:05
Абстракция данных, лекция ПОМИ РАН видео
24 октября
15:35–17:05
Свертки, лекция ПОМИ РАН видео
31 октября
15:35–17:05
Моноиды, векторный параллелизм, MapReduce, лекция ПОМИ РАН видео
05 декабря
11:15–12:50
DSL: Упрощалка выражений, лекция ПОМИ РАН видео
05 декабря
13:00–14:35
Изменяемое состояние и модель окружений, лекция ПОМИ РАН видео
19 декабря
15:35–17:10
Системы типов (начало), лекция ПОМИ РАН видео