Miranda

latin for "admirable", also the heroine of Shakespeare's Tempest

David A. Turner, University of Kent, early 1980's

Lazy and purely functional. A commercial descendant of SASL[1] and KRC, with ML[2]'s type system. Terse syntax using the offside rule for indentation. Type declarations are optional. Nested pattern-matching, list comprehensions, modules. Sections rather than lambda abstractions. User types are algebraic, may be constrained by laws. Implemented by SKI reduction. The KAOS operating system is written entirely in Miranda. See Miracula, Orwell.

"Miranda: A Non Strict Functional Language with Polymorphic Types", David A. Turner, in Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science 201, Springer-Verlag, 1985.

Functional Programming with Miranda, Holyer, Pitman Press. ISBN 0-273-03453-7.