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