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

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






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

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