PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

Miranda

Miranda

Miranda is a pl created in 1985 by David Turner.

#358on PLDB 37Years 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 Example Token
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
xs.html · miranda.html · saltstack.html

View source

PLDB - Build the next great programming language · v2022 · Day 31 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com