Miranda (programming language): Difference between revisions

Revision as of 00:06, 10 February 2025

Revision as of 12:44, 21 February 2025

Line 4:

| name = Miranda

| logo = Miranda logo (programming language).jpg

| logo size = 240px

| logo caption =

| screenshot =

Line 26 ⟶ 27:

| operating system =

| license = {{wikidata|property|edit|reference|P275}}

| website = {{URLurl|miranda.org.uk}}

| 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}}