Miranda (programming language)
Miranda is a lazy, 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.
| Paradigm | lazy, functional, declarative |
|---|---|
| Designed by | David Turner |
| Developer | Research Software Ltd |
| First appeared | 1985 |
| Typing discipline | strong, static |
| Website | miranda |
| Major implementations | |
| Miranda | |
| Influenced by | |
| KRC, ML, SASL, Hope | |
| Influenced | |
| Clean, Haskell, Orwell, Microsoft Power Fx | |
Miranda was first released in 1985 as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989. It had a strong influence on the later Haskell language. Turner stated that the benefits of Miranda over Haskell are: "Smaller language, simpler type system, simpler arithmetic".
In 2020 a version of Miranda was released as open source under a BSD licence. The code has been updated to conform to modern C standards (C11/C18) and to generate 64-bit binaries. This has been tested on operating systems including Debian, Ubuntu, WSL/Ubuntu, and macOS (Catalina).