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: purely functional programmingdeclarative programming

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