Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

Словарь-справочник по информатике (онтология информатики)

Это пособие представляет собой конспект лекций по курсу Введение в функциональное программирование, который преподавался мной в университете Кембриджа в 1996/7 учебном году. Структура курса, в основе которой лежит чередование теории с практикой, сохранилась с прошлых лет в том виде, в котором она была предложена моим предшественником Майком Гордоном. Его лекционные материалы [27, часть II] послужили важным источником заимствований. Существенное влияние также оказали авторы смежных курсов: Энди Гордон, Ларри Полсон, Энди Питтс (теория типов). Отдельная глава полностью посвящена реализации нескольких примеров. В силу своего объёма, она не рассматривается на экзамене и предназначена для самостоятельного изучения. Её цель — закрепление пройденного материала и демонстрация возможностей ML на практике. Большинство глав включает упражнения, либо созданные специально для данного курса, либо взятые из других источников. Их решение, как правило, не сводится к выработке шаблонных навыков, а требует некоторых размышлений. Задачи, которые мне представляются достаточно сложными, отмечены знаком (*). Эти материалы не подвергались интенсивному тестированию и, без сомнения, содержат различные ошибки и неясности. Я буду благодарен каждому читателю, который сможет уделить некоторое время их конструктивной критике.

Оглавление.

1. Введение.
2. Лямбда-исчисление.
3. Лямбда-исчисление как язык программирования.
4. Типы.
5. Знакомство с ML.
6. Более подробно о ML.
7. Доказательство корректности программ.
8. Эффективный ML.
9. Примеры.
10. Литература.

Ключевые термины:  функциональное программирование;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН