Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. It was produced by Research Software Ltd. of England (which holds a trademark on the name Miranda) and was the first purely functional language to be commercially supported.
The solution to most example problems is briefer and simpler in Miranda than in most...
more
Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. It was produced by Research Software Ltd. of England (which holds a trademark on the name Miranda) and was the first purely functional language to be commercially supported.
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.
Miranda is a lazy, purely functional programming language. That is, it...
less
