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↑
FPs↑
Lambda caculus ↑
Lazy Evaluation FPs/1985↑
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 ↑

Miranda(ID:911/mir003)

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.



Structures:
Related languages
KRC → Miranda   Evolution of
ML → Miranda   Strong, Influence
Miranda → Amanda   Subset
Miranda → Haskell   Based on
Miranda → Miracula   Subset
Miranda → Orwell   Influence
References:
  • 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
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder