-
Notifications
You must be signed in to change notification settings - Fork 1
Miranda
Michele Rallo edited this page Aug 30, 2024
·
4 revisions
Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-1986.
The language was widely taken up, both for research and for teaching, and had a strong influence on the subsequent development of the field, influencing in particular the design of Haskell, to which it has many similarities. Miranda is however a simpler language. Here is a short description. For more detail you can read the Overview paper below, look at these examples of Miranda scripts, or read the definitions in the Miranda standard environment.
Browsable version of UNIX manual page mira.1