Паулсон Л. Основы функционального программирования

формат doc
размер 764.98 КБ
добавлен 26 марта 2010 г.

Компьютерная лаборатория, Университет Кембридж, 1995 - 45 c.
Курс связан с ?-вычислениями и близкой к ним наукой – комбинаторной логикой
Содержание
1. Вступление
2. Равенство и нормализация
3. Кодирования данных в ?-вычислениях
4. Написание рекурсивных функций в ?-вычислениях
5. ?-вычисления и теория вычислений
6. ISWIM: ?-вычисления как язык программирования
7. Ленивые вычисления, используя комбинаторы
8. Методы компиляции, использующие комбинаторы

Похожие разделы

Смотрите также

Городняя Л.B. Основы функционального программирования

формат rtf
размер 11.41 МБ
добавлен 10 апреля 2011 г.

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

Городняя Л.В. Основы функционального программирования

формат pdf
размер 1.13 МБ
добавлен 28 января 2011 г.

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

Журнал - Практика Функционального Программирования 2009 № 1

формат pdf
размер 1.42 МБ
добавлен 16 января 2011 г.

Первый (пилотный) номер нового научно-практического журнала по функциональному программированию «Практика Функционального Программирования». Содержание: Лев Валкин. От редактора. Сергей Зефиров. Лень бояться. Роман Душкин. Функции и функциональный подход. Евгений Кирпичёв. Изменяемое состояние: опасности и борьба с ними. Дмитрий Астапов. Давно не брал я в руки шашек. Dan Piponi. Моноиды в Haskell и их использование. Алексей Отт. Обзор литератур...

Журнал - Практика Функционального Программирования 2009 № 2

формат pdf
размер 1.34 МБ
добавлен 18 января 2011 г.

Центральная тема второго выпуска журнала — демонстрация применения функционального программирования в реальных, а не академических проектах. Содержание: Дмитрий Зуйков. История разработки одного компилятора. Дмитрий Астапов. Использование Haskell при поддержке критически важной для бизнеса информационной системы. Сергей Зефиров, Владислав Балин. Прототипирование с помощью функциональных языков. Алекс Отт. Использование Scheme в разработке семей...

Зюзьков В.М. Математическое введение в декларативное программирование

формат pdf
размер 2.06 МБ
добавлен 25 сентября 2010 г.

Учебное пособие. 2003. 83 с. Рассматриваются математические основы декларативного и функционального программирования, лямбда-исчисление и методы доказательства теорем. Для примеров используются языки Prolog и Haskell.

Кубенский А.А. Функциональное программирование

формат pdf
размер 1.81 МБ
добавлен 26 января 2011 г.

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

Реферат - Общие сведения о функциональном программировании

Реферат

формат doc
размер 164.8 КБ
добавлен 14 ноября 2009 г.

Реферат. Общие сведения о функциональном программировании. Предисловие. Введение. Общие сведения о функциональном программировании. История функционального программирования. Основы функционального программирования. Краткость и простота. Строгая типизация. Модульность. Функции — это значения. Чистота (отсутствие побочных эффектов). Отложенные (ленивые) вычисления. Основы работы с HUGS 98. Панель инструментов HUGS 98. Команды консоли HUGS 98. Допол...

Сошников Д.В. Функциональное программирование

формат pdf
размер 6.93 МБ
добавлен 23 декабря 2010 г.

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

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

формат djvu
размер 5.72 МБ
добавлен 08 сентября 2010 г.

Книга английского специалиста по программированию» обобщающая опыт использования функционального программирования. Обсуждаются особенности функциональных языков и возможности их реализации на современных ЭВМ. Изложение иллюстрируется многочисленными примерами. Для программистов, математиков-прикладников, для всех, кто преподает и изучает программирование.

Шалимов П.Ю. Функциональное программирование

формат djvu
размер 3.83 МБ
добавлен 08 сентября 2010 г.

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