Что такое Миранда в контексте языкового программирования?

«Миранда» (Miranda) — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером. 23

Некоторые особенности языка:

• Строгая полиморфная система типов. 23 Поддерживает типы данных пользователя. 3
• Функциональные объекты строятся с помощью карринга (частичного применения) существующих функций. 3
• Обладает ленивой семантикой. 3 Программа представляет собой множество определений. 3
• Преемник языков SASL и Kent Recursive Calculator, использует некоторые концепции ML и Hope. 23
• Оказал большое влияние на разработчиков языка Haskell. 23

Название языка происходит от имени героини пьесы «Буря» Уильяма Шекспира, Миранды. 23

В 2020 году была выпущена версия Miranda с открытым исходным кодом по лицензии BSD. 1