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

Компьютерная лаборатория, Университет Кембридж, 1995 - 45 c. Курс связан с λ-вычислениями и близкой к ним наукой – комбинаторной логикой Содержание Вступление Равенство и нормализация Кодирования данных в λ-вычислениях Написание рекурсивных функций в λ-вычислениях λ-вычисления и теория вычислений ISWIM: λ-вычисления как язык программирования Ленивые вычисления,...

Язык XML: Символы; синтаксические конструкции; Символьные данные и разметка; Инструкции процессинга; Разделы CDATA; Объявление Документа; Обработка; Логические структуры; Теги; Ссылки; Кодирование символов; Обработка процессором XML экземпляров и ссылок; Конструкция замещающего текста; Объявления Нотации; Проверяющие и непроверяющие процессоры; Классы символов; W3C XML Working...

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