Декларативное программирование

[ Содержание | 1 | 2 | 3 | 4 | 5 | 5.1 | 5.2 | 5.3 | 5.4 | 5.5 | 5.6 | 5.7 | 5.8 | 5.9 | 6 | 6.1 | 6.2 | 6.3 | 6.4 | 6.5 | 7 | 7.1 | Литература ]

© 2003 И.А. Дехтяренко

Содержание

1. Программирование в повествовательном наклонении
2. История
3. Инструменты
4. Программы как теории
5. Функциональное программирование
5.1 Введение в Лисп
5.2. Рекурсия
5.3. Функции высшего порядка
5.4. Структуры данных
5.5. Абстракции данных
5.6. Последовательности как стандартные интерфейсы
5.7. Потоки и ленивые вычисления
5.8. Синтаксический сахар: язык Erlang
5.9. Математические свойства функциональных программ
6. Логическое программирование
6.1 Пролог
6.2. Особенности логических программ
6.3. Синтаксический анализ
6.4. Задачи поиска
6.5. Расширения Пролога
7. Типы
7.1 Типы в ML

Литература

[ Содержание | 1 | 2 | 3 | 4 | 5 | 5.1 | 5.2 | 5.3 | 5.4 | 5.5 | 5.6 | 5.7 | 5.8 | 5.9 | 6 | 6.1 | 6.2 | 6.3 | 6.4 | 6.5 | 7 | 7.1 | Литература ]