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

Декларативне програмування
© 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

Література