Log inRegister
M

Miranda

https://www.cs.kent.ac.uk/people/staff/dat/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 (which holds a trademark on the name Miranda) and was the first purely functional language to be commercially supported.
Miranda was first released in 1985 as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989.
Category
Languages
Listed
Nov 5, 2026
Visit website ↗

Is this your website? Claim this listing to edit it.

More in Languages

E

Erlang

erlang.org · Languages

Erlang ( UR-lang) is a general-purpose, concurrent, functional high-level programming language, and a garbage-collected runtime system. The term Erlang is used interchangeably wit…

R

Rust

rust-lang.org · Languages

Rust is a general-purpose programming language that emphasizes performance, type safety, concurrency, and memory safety. Rust supports multiple programming paradigms. It was influ…

I

Institute of the Estonian Language

eki.ee · Languages

The Institute of the Estonian Language (Estonian: Eesti Keele Instituut) is the official language-regulatory authority of the Estonian language. It is located in the capital city …

C

Central Institute of Indian Languages

ciil.org · Languages

The Central Institute of Indian Languages (CIIL) is an Indian research and teaching institute based in Mysuru, part of the Language Bureau of the Ministry of Education. It was fo…

D

Dylan

opendylan.org · Languages

Dylan is a multi-paradigm programming language that includes support for functional and object-oriented programming (OOP), and is dynamic and reflective while providing a programm…