Хендерсон П. Функциональное программирование. Применение и реализация

М.: Изд-во "Интернет-университет информационных технологий - ИНТУИТ. ру", 2004. - 280 c.: ил. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация которых требует многоуровневого обобщения и абстрагирования, что наиболее естественно выражается в терминах функционального программирования. Функциональное программирование...

Санкт-Петербург: СПбГУ ИТМО, 2010. - 251 с. Учебно-методическое пособие содержит обширный теоретический и практический материал по курсу «Функциональное программирование». Изложение ведется с использованием одного из самых известных и распространенных в настоящее время языков функционального программирования – языка Haskell. Даны многочисленные примеры программ, подробно обсуждаются методы и приемы функционального программирования. Рекомендуется...

Содержание. Парадигма программирования. Функциональные языки. Свойства функциональных языков. Быстрая сортировка Хоара на C. Быстрая сортировка Хоара на языке Haskell. Ленивость и нестрогость. Немного о популярном языке. Каррирование (карринг). Определение функций. Рекурсия. Использование списков. Сопоставление с образцом. Сортировка вставкой. Быстрая сортировка. Типизация. Использование ?-исчисления. ?-функция. Реализации Haskell. Автор: проф....

Hope - функциональный язык программирования, разработанный в начале 1980-х годов; является предшественником языков Miranda и Haskell. Hope - очень простой язык и в то же время содержит все важные особенности функциональных языков. Широкого применения не имеет, используется для обучения функциональному программированию. Учебник Филда и Харрисона [Филд А., Харрисон П. Функциональное программирование. М., Мир, 1993. ], использующий этот язык - одна...

Ты знал, что повторяться свойственно не только моде на одежду, но и на парадигмы программирования? В этой обзорной статье мы поговорим о функциональной парадигме программирования и её роли в мэйнстриме современного программирования. Итак, начнём рассмотрение с исторического ракурса вопроса. Функциональное программирование(далее ФП) не является чем-то новым, скорее наоборот первые функциональные языки появились в конце 50-х годов прошлого века и...

Учебное пособие по функциональному программированию. В папке представлены первые 3 урока. Подробно рассматриваются разделы функционального программирования. Факультет инноваций и высоких технологий Московский физико-технический институт

Москва "Мир" 1993 Рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием.

- Кембридж, 1997. - 170 с. Это конспект лекций по курсу Введение в функциональное программирование, который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году. Оглавление. Введение. Лямбда-исчисление. Лямбда-исчисление как язык программирования. Типы. Знакомство с ML. Более подробно о ML. Доказательство корректности программ. Эффективный ML. Примеры. Литература.

Учеб. пособие. Рассмотрены вопросы функционального стиля программирования с позиций декларативного подхода, позволяющего повысить интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. В качестве базового языка рассматривается функциональный язык Лисп. Изложение сопровождается многочисленными примерами конкретных программ. Учебное пособие предназначено для студентов всех форм обучения и дополнительного образов...

Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell. Краткое содержание: Introduction A Preview of the Pretty-printing Library Deriving Functional Programs from Specifications Designing a Sequence Type Implementing Monads Monads for Backtracking Specifying Pretty-printing Implementing Pretty-printing: A Term Representation Optimized Pretty-printing: A Term Representation A Con...