Вопросы на тему Functional Programming - страница 278

Lisp — это семейство языков программирования общего назначения, на которые влияет лямбда-исчисление, и с возможностью манипулировать исходным кодом как структурой данных.

Scheme — это функциональный язык программирования в семействе Lisp, тесно смоделированный на основе лямбда-исчисления с активным (аппликативным порядком) вычислением. ПО ВОПРОСАМ о URL-схемах

Haskell — это функциональный язык программирования с сильной статической типизацией, отложенным вычислением, обширной поддержкой параллелизма и параллелизма, а также уникальными возможностями абстракции.

Структура данных — это способ организации данных таким образом, который позволяет запрашивать и / или эффективно обновлять определенные свойства этих данных.

Типы и системы типов используются для обеспечения уровней абстракции в программах.

Алгебраические типы данных — это структуры данных, построенные из сумм, произведений и рекурсивных типов, допускающие алгебру. Описаниями типов, заданными как ADT, можно манипулировать символически для получения других связанных структур данных. Логика построения типов…