Миранда (язык программирования)

Miranda
Парадигма:
функциональный
Типизация:
полиморфизм
Дата появления:
1985
Разработчики:
Дэвид Тёрнер






Повлиял на:
Haskell и Haskell

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