Content deleted Content added
No edit summary Tags: Manual revert Reverted |
Add external links to the current source code for Miranda and a large example of a Miranda program |
||
| (4 intermediate revisions by 4 users not shown) | |||
Line 4:
| name = Miranda
| logo = Miranda logo (programming language).jpg
| logo caption =
| screenshot =
Line 27 ⟶ 26:
| operating system =
| license = {{wikidata|property|edit|reference|P275}}
| website = {{
| 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://www.cs.kent.ac.uk/people/staff/dat/miranda/nancypaper.pdf|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}}
Line 282 ⟶ 280:
==External links==
* {{Official website}}
* [https://codeberg.org/DATurner/miranda The currently maintained open source version] of Professor Turner's interpreter for Miranda.
* [http://bignum.sf.net The infinite precision math library], a large example of programming in Miranda (and Haskell).
{{Programming language}}
| |||