Функция и функциональный подход

СОДЕРЖАНИЕ ОПРЕДЕЛЕНИЯ 3 ВВЕДЕНИЕ 4 1 Фундаментальные концепции 8 1.1 Величины 9 1.2 Функции 10 1.3 Композиция функций 11 1.4 Виды вычислений 11 1.4.1 Ленивые и энергичные вычисления 12 1.4.2 Строгие функции 13 2 Функциональное программирование 16 2.1 Математические основы функционального программирования 17 2.2 Свойства функциональных языков 19 2.2.1 Краткость и простота 19 2.2.2 Строгая типизация 20 2.2.3 Модульность 22 2.2.4 Функции - это значения 22 2.2.5 Чистота 22 2.2.6 Отложенные вычисления 23 2.3 Преимущества и недостатки функционального подхода 23 2.4 λ-исчисление как формализация языка функционального программирования 25 2.5 Редукция и стратегии редукций 26 2.6 Сравнение функционального и логического программирования 28 3 Языки программирования, развивающиеся в рамках функционального подхода 31 ЗАКЛЮЧЕНИЕ 35 СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 37