Система Управления Электронными Библиотеками ФИЦ ИВТ Стандартный вид

О.А.Федотова

Коллекция: «Документы и публикации в Цифровой Библиотеке» (publications)

Раздел: 15. Монографии. Подраздел: 28. Учебники и учебные пособия.

  Введение в функциональное программирование
Харрисон Джон

Название альтернативное: Introduction to Functional Programming
UID: 4E70F691

Описание документа:

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

Оглавление.

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

Библиографическое описание
Харрисон Дж., Введение в функциональное программирование / [Электронный ресурс]. - http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh/. - 1997.
Полный текст публикации (Размер файла 0 Mb)

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

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

Ваши коментарии А.М.Федотов

Сибирское отделение