Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


Miranda - Programming language

< >

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...

Example from Riju:
main = [Stdout "Hello, world!"]
Example from hello-world:
main :: [sys_message] main = [Stdout "Hello World"]
Example from Wikipedia:
> || 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]

Language features

Feature Supported Token Example
Strings "
"Hello world"
Print() Debugging Stdout
Semantic Indentation

Books about Miranda from ISBNdb

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

Publications about Miranda from Semantic Scholar

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
urweb.html · miranda.html · xs.html

View source

- Build the next great programming language · Search · Day 209 · About · Blog · Acknowledgements · Traffic · Traffic Today · GitHub ·