Miranda is a non-strict purely functional programming language developed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. Markete... More

Miranda is a non-strict purely functional programming language developed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. Marketed by Research Software Ltd. of England, of which the word 'Miranda' is a trademark, it was the first purely functional language to be intended for use as a commercial tool rather than for academic purposes.The solution to most example problems is briefer and simpler in Miranda than in most mainstream programming languages except maybe APL, and, like other functional languages, its users report that it enables them to produce more reliable programs with shorter development times than with the imperative programming languages they had previously used.It was first released in 1985, as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989. The later Haskell programming language is similar in many ways to Miranda.  [edit]  Less