Miranda (programming language): Difference between revisions

Revision as of 21:19, 17 May 2024

Revision as of 21:47, 17 May 2024

Line 28:

| wikibooks =

}}

'''Miranda''' is a [[lazy evaluation|lazy]], [[functional programming|purely functional]] [[programming language]] designed by [[David Turner (computer scientist)|David Turner]] as a successor to his earlier programming languages [[SASL programming language|SASL]] and [[Kent Recursive Calculator|KRC]], using some concepts from [[ML (programming language)|ML]] and [[Hope (programming language)|Hope]]. It was produced by Research Software Ltd. of England (which holds a trademark on the name ''Miranda'')<ref>{{Cite book|last=Turner|first=D. A.|title=Functional Programming Languages and Computer Architecture |chapter=Miranda: A non-strict functional language with polymorphic types |date=September 1985|editor-last=Jouannaud|editor-first=Jean-Pierre|chapter-url=https://linkwww.springercs.comkent.ac.uk/chapterpeople/10staff/dat/miranda/nancypaper.1007%2F3-540-15975-4_26pdf|series=Lecture Notes in Computer Science|volume=201 |language=en|___location=Berlin, Heidelberg|publisher=Springer|pages=1–16|doi=10.1007/3-540-15975-4_26|isbn=978-3-540-39677-2}}</ref> and was the first purely functional language to be commercially supported.{{citation needed|date=November 2016}}

Miranda was first released in 1985 as a fast interpreter in [[C (programming language)|C]] for [[Unix]]-flavour operating systems, with subsequent releases in 1987 and 1989. It had a strong influence on the later [[Haskell]] language.<ref>{{Cite book|last1=Hudak|first1=Paul|last2=Hughes|first2=John|last3=Peyton Jones|first3=Simon|last4=Wadler|first4=Philip|title=Proceedings of the third ACM SIGPLAN conference on History of programming languages |chapter=A history of Haskell: Being lazy with class |date=2007-06-09|chapter-url=http://dx.doi.org/10.1145/1238844.1238856|___location=New York, NY, USA|publisher=ACM|doi=10.1145/1238844.1238856|isbn=9781595937667 |s2cid=52847907 }}</ref> Turner stated that the benefits of Miranda over Haskell are: "Smaller language, simpler type system, simpler arithmetic".<ref name=opensourcing/>