Миранда (язык программирования)
Miránda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка. Имеет строгую полиморфную систему типов. Как и язык ML преподаётся во многих университетах. Оказал большое влияние на разработчиков языка Haskell.