Miranda

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 and was the first purely functional language to be commercially supported. Wikipedia

Created Year: 1985
Designed by: David Turner

Wikidata: Q780803

Influenced: Erlang • Haskell • Orwell

Influenced by: Kent Recursive Calculator • ML

Programming paradigms: declarative programming • purely functional programming

Language types: purely functional programming language • off-side rule language • declarative programming language

Miranda Influence Network

Pan and zoom the graph with your mouse or alternatively your fingers on touch devices.

Hello World in Miranda

main :: [sys_message]
main = [Stdout "Hello World"]

Search on GitHub


Latest data update: 2026-07-11