Content deleted Content added
→top: comparison w/Haskell |
→top: phrasing |
||
Line 30:
'''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 journal|last=Turner|first=D. A.|date=1985|editor-last=Jouannaud|editor-first=Jean-Pierre|title=Miranda: A non-strict functional language with polymorphic types|url=https://link.springer.com/chapter/10.1007%2F3-540-15975-4_26|journal=Functional Programming Languages and Computer Architecture|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 journal|last1=Hudak|first1=Paul|last2=Hughes|first2=John|last3=Peyton Jones|first3=Simon|last4=Wadler|first4=Philip|date=2007-06-09|title=A history of Haskell: Being lazy with class|url=http://dx.doi.org/10.1145/1238844.1238856|journal=Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages|___location=New York, NY, USA|publisher=ACM|doi=10.1145/1238844.1238856|s2cid=52847907 }}</ref>
In 2020 a version of Miranda was released as open source under a [[BSD 2-Clause|BSD licence]]. The
== Overview ==
| |||