lectures(ru).pdf

(1410 KB) Pobierz

Введе�½ие в фу�½кцио�½аль�½ое

программирова�½ие

John Harrison

jrh@cl.cam.ac.uk

3rd December 1997

Предисловие

Эта к�½ига ос�½ова�½а �½а ко�½спектах лекций по курсу

Введе�½ие в фу�½кцио�½аль�½ое

программирова�½ие,

который я читал в у�½иверситете Кембриджа в 1996/7 учеб�½ом

году.

Курс читался студе�½там послед�½его курса и аспира�½там первого года обуче�½ия.

К тому време�½и о�½и уже свобод�½о владели императив�½ым программирова�½ием �½а

языке Modula-3, a параллель�½о с этим курсом им читался курс по C. Этот курс

определё�½�½о является курсом по фу�½кцио�½аль�½ому программирова�½ию, а �½е кур-

сом по программирова�½ию с использова�½ием фу�½кцио�½аль�½ых языков. Я попытался

сделать упор �½а �½еобыч�½ые свойства фу�½кцио�½аль�½ых языков программирова�½ия,

а также показать естестве�½�½ую область приме�½е�½ия языка ML. Я �½е рассматриваю

м�½ого важ�½ых аспектов, которые �½е присущи фу�½кцио�½аль�½ому программирова�½ию,

�½апример абстракт�½ые типы. В разделах помече�½�½ых звёздочкой размещё�½ допол-

�½итель�½ый материал, который �½е входит в экзаме�½ы, и который мож�½о пропустить

без потери по�½има�½ия курса. Од�½ако, я �½адеюсь, что �½екоторые заи�½тересуются бо-

лее глубоким изуче�½ием отдель�½ых частей курса и эти люди убедятся, что разделы,

помече�½�½ые звёздочкой, являются естестве�½�½ым допол�½е�½ием к ос�½ов�½ому тексту.

В предыдущие годы этот курс преподавался Майком Гордо�½ом (Mike Gordon).

Я сохра�½ил структуру его курса, которая являет собой смесь теории и практики, и

была заимствова�½а из его собстве�½�½ых лекцио�½�½ых материалов, доступ�½ых в части

Part II к�½иги [27]. На ме�½я также оказали силь�½ое влия�½ие те люди, которые читали

здесь сопутствующие курсы – Andy Gordon, Larry Paulson, и, в главе о типах – курс,

созда�½�½ый Andy Pitts.

Большая глава с примерами �½е требуется �½а экзаме�½ах. О�½а пред�½аз�½аче�½а для

улучше�½ия по�½има�½ия предыдущих частей, а также для того, чтобы показать как

ML может быть использова�½.

Большая часть глав включает примеры, либо созда�½�½ые специаль�½о для да�½�½ого

курса, либо заимствова�½�½ые из других курсов. Обыч�½о о�½и требуют �½екоторого раз-

мышле�½ия, вместо того, чтобы быть ста�½дарт�½ыми задачами. Те, которые я посчитал

слож�½ыми, отмече�½ы з�½аком (*).

Эти материалы �½е были и�½те�½сив�½о протестирова�½ы, и без сом�½е�½ия содержат

различ�½ые ошибки и �½еяс�½ости. Я буду благодаре�½ за ко�½структив�½ую критику со

сторо�½ы любого читателя.

John Harrison (jrh@cl.cam.ac.uk).

iii