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: ErlangHaskellOrwell

Influenced by: Kent Recursive CalculatorML

Programming paradigms: declarative programmingpurely functional programming

Language types: declarative programming languageoff-side rule languagepurely functional 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-01-29