Miranda programming language

Miranda is a non-strict purely functional programming language developed by Professor 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.

Related Topics:
Non-strict - Functional programming language - Professor David Turner - SASL - KRC - ML - Hope

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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.

Related Topics:
Example problems - APL - Functional

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

It was first published in 1985, and only one interpreter was ever written for it, in C for Unix-flavour operating systems. The later Haskell programming language is similar in many ways to Miranda.

Related Topics:
C - Haskell programming language

~ ~ ~ ~ ~ ~ ~ ~ ~ ~