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

Публикации и документы в коллекции "Современные проблемы информатики"

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

Оглавление.

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

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

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

Федотова Ольга Анатольевна

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