H ? « »

Language peer sets for Miranda:
United Kingdom
United Kingdom/1985
Designed 1985
1980s languages
Fifth generation
Late Cold War
Genus Lazy Evaluation FPs
Specialised Languages
Lazy Evaluation FPs
Lambda caculus
Lazy Evaluation FPs/1985
Lambda caculus/1985
Lazy Evaluation FPs/United Kingdom
FPs/United Kingdom
Lambda caculus/United Kingdom
Specialised Languages
Specialised Languages/1985
Specialised Languages/uk


alternate simple view
Country: United Kingdom
Designed 1985
Published: 1985
Genus: Lazy Evaluation FPs
Sammet category: Specialised Languages

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

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

Lazy, purely functional. A commercial descendant of SASL and KRC, with ML'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.

the aim of the Miranda system is to provide a modern functional language, embedded in an "industrial quality" environment. it is now being used at a growing number of sites for teaching functional programming and as a vehicle for the rapid prototyping of software.

Related languages
KRC Miranda   Evolution of
ML Miranda   Strong, Influence
Miranda Amanda   Subset
Miranda Haskell   Based on
Miranda Miracula   Subset
Miranda Orwell   Influence

  • Turner, D.A. (1985) Turner, D.A. "Miranda: A Non Strict Functional Language with Polymorphic Types"
          in (1985) Functional Programming Languages and Computer Architecture, LNCS 201, Springer 1985
  • Turner, D (1986) Turner, D "An overview of Miranda" pp158-166 Online copy
          in [SIGPLAN] (1986) SIGPLAN Notices 21(12) December 1986
  • (1991) "Functional Programming with Miranda", Holyer, Pitman Press 0-273-03453-7.
          in [SIGPLAN] (1986) SIGPLAN Notices 21(12) December 1986
  • Simon Thompson (1995) Simon Thompson "Programming Language Semantics using Miranda" Technical Report 9-95, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1995. Abstract ps bib
          in [SIGPLAN] (1986) SIGPLAN Notices 21(12) December 1986
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder