Miranda

Programming language

Softwareprogramming language purely functional programming language declarative programming languageQ780803

Founded: 1985
Latest version: 2.066
1
Sources
1.“Miranda download page”cs.kent.ac.uk/people/staff/dat/miranda/downloads/Retrieved 2024-05-17
View statement on Wikidata ↗
License: 2-clause BSD License
1
Sources
1.“miranda: COPYING”cs.kent.ac.uk/people/staff/dat/miranda/downloads/COPYINGRetrieved 2024-05-17
View statement on Wikidata ↗
Website: cs.kent.ac.uk/people/staff/dat/miranda

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

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.

Overview

All data

22 statements · 18% with external sources · numbers in brackets are citations

Influenced by: ML
Kent Recursive Calculator
Designed by: David Turner
Programming paradigm: declarative programming
purely functional programming
Typing discipline: strong typing
static typing
Copyright status: copyrighted

On other databases

4 identifiers linking Miranda across the web's reference databases

Data quality

statements

18%

externally sourced

Source last edited July 11, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q780803

API docs, limits & keys

Cite this page

AIDB. (2026). Miranda (Q780803). Retrieved from https://aidb.si/e/miranda-Q780803