Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier languages SASL and KRC, and was first released commercially in 1985 by Research Software Ltd. Miranda was the first purely functional language to be commercially supported, and its combination of lazy evaluation, algebraic data types and list comprehensions strongly influenced the later design of Haskell.
Facts
Classification
Typing Discipline Typing Discipline First Released ParadigmLazy, purely functional 2 SignificanceStrongly influenced the later Haskell language 2 FAQs
How did Miranda influence Haskell?
Haskell's design was influenced by Miranda, and the two have many similarities.
Miranda is a pure, non-strict, polymorphic, higher order functional programming language that David Turner designed in 1983 to 1986. It was widely taken up for research and teaching, and it influenced in particular the design of Haskell, to which it has many similarities. Miranda is however the simpler language of the two.
Connections
Follows Typing Discipline
In Field
Source Miranda (Wikipedia)
Influenced
Invented By
Source Miranda (Wikipedia)
Licensed Under
Sources
1. Wikidata: Miranda
- Wikidata Q780803, class allow-list match (w-wdresolver-0926)
- Wikidata Q780803 P571 (inception)
- Wikidata Q780803 P275 (license)
- Wikidata Q780803 P7078 (typing discipline)
View the Source2. Miranda (Wikipedia)
Overview
Miranda was first released in 1985 as a fast interpreter in C for Unix-flavour operating systems
Lead paragraph
lazy, purely functional programming language
Overview, influence
It had a strong influence on the later Haskell language.
Invented By: David Turner, Infobox: designer
David Turner
In Group: Purely Functional Languages, Lead
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.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.