Skip to content
◈ALB Atlas

Miranda Dead

Miranda
KindProgramming language
Appeared1985
StatusDead
CreatorDavid Turner
FamilyML

Turner's lazy pure functional language — the direct parent of Haskell; released under BSD in 2020 but no longer developed.

Descended from ML
Succeeded by Haskell
Created by David Turner
Descendants Haskell

David Turner's Miranda (1985) — SASL/KRC's successor — was the first lazy, purely functional commercial language: infinite lists, currying, pattern matching, and Haskell's direct inspiration.\n\nProprietary until 2020 (now BSD), it was the language the Haskell committee was designed to replace with an open standard.