Miranda

Miranda — нестрогий чисто функциональный язык программирования со строгой полиморфной типизацией и развитой системой модулей, разработанный профессором Дэвидом Тэрнером (David Turner) на базе его более ранних языков SASL и KRC с использованием некоторых концепций из ML и Hope.

Основные особенности Miranda:

• чисто функциональный без побочных эффектов
• поддержка функций в качестве данных
• “ленивый” язык — поддержка нестрогих функций и бесконечных размерностей
• list comprehensions
• полиморфная строгая типизация
• абстрактные типы данных и модули

Встроенные типы языка:

• числа (целые неограниченной размерности и числа с плавающей точкой двойной точности)
• символы
• списки
• кортежи
• функции.

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

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

Первый интерпретатор Miranda для Unix-подобных ОС (написанный на C) был выпущен в 1985 году.

Появившийся позже язык Haskell во многом похож на Miranda.