Miranda is a programming language created in 1985 by David Turner.
| #352on PLDB | 38Years Old | 300Users |
| 2Books | 7Papers |
Try now: Riju
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.Miranda was first released in 1985, as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989. Read more on Wikipedia...
main = [Stdout "Hello, world!"]
main :: [sys_message]
main = [Stdout "Hello World"]
> || The infinite list of all prime numbers.
The list of potential prime numbers starts as all integers from 2 onwards;
as each prime is returned, all the following numbers that can exactly be
divided by it are filtered out of the list of candidates.
> primes = sieve [2..]
> sieve (p:x) = p : sieve [n | n <- x; n mod p ~= 0]| Feature | Supported | Token | Example |
|---|---|---|---|
| Strings | ✓ | " | "Hello world" |
| Print() Debugging | ✓ | Stdout | |
| Semantic Indentation | ✓ |
| title | authors | year | publisher |
|---|---|---|---|
| Functional Programming with Miranda | Hoyler, Ian | 1991-09-20T00:00:01Z | Taylor & Francis Books Ltd |
| Programming With Miranda | Clack, Chris and Myers, Colin and Poon, Ellen | 1995 | Prentice Hall |
| title | authors | year | citations | influentialCitations |
|---|---|---|---|---|
| An overview of Miranda | D. Turner | 1986 | 247 | 19 |
| Laws in Miranda | S. Thompson | 1986 | 35 | 1 |
| Using Miranda as a first programming language | Tim Lambert and P. Lindsay and K. Robinson | 1993 | 20 | 3 |
| A visual Miranda machine | M. Auguston and J. Reinfelds | 1994 | 14 | 3 |
| A logic for Miranda | S. Thompson | 1989 | 12 | 0 |
| Using XView/X11 from Miranda | Satnam Singh | 1991 | 7 | 0 |
| SNACC: a parser generator for use with Miranda | D. Turner | 1996 | 2 | 0 |