dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


2 definitions found
 for Miranda
From The Free On-line Dictionary of Computing (30 December 2018) :

  Miranda
  
      (From the Latin for "admirable", also the heroine
     of Shakespeare's "Tempest") A lazy purely functional
     programming language and interpreter designed by David
     Turner of the University of Kent in the early 1980s and
     implemented as a product of his company, Research Software
     Limited.  Miranda combines the main features of KRC and
     SASL with strong typing similar to that of ML.
  
     It features terse syntax using the offside rule for
     indentation.  The type of an expression is inferred from the
     source by the compiler but explicit type declarations are
     also allowed.  It has nested pattern-matching, list
     comprehensions and modules.  It uses operator sections
     rather than lambda abstractions.  User types are algebraic,
     and in early versions could be constrained by laws.
  
     It is implemented using SKI combinator reduction.
     Originally implemented for Unix, there are versions for most
     UNIX-like platforms including Intel PC under Linux.  The
     KAOS operating system is written entirely in Miranda.
  
     There are translators from Miranda to Haskell mira2hs
     (/pub/misc/mira2hs) and to LML mira2lml (/pub/misc/mira2lml).
     Non-commercial near-equivalents of Miranda include Miracula and
     Orwell.
  
     http://miranda.org.uk/)">(http://miranda.org.uk/).
  
     [{"Miranda: A Non Strict Functional Language with Polymorphic
     http://miranda.org.uk/nancy.html)">Types" (http://miranda.org.uk/nancy.html), D.A. Turner, in
     Functional Programming Languages and Computer Architecture,
     LNCS 201, Springer 1985].
  
     [{"An Overview of Miranda"
     http://miranda.org.uk/overview.pdf)">(http://miranda.org.uk/overview.pdf), D. A. Turner, SIGPLAN
     Notices, 21(12):158--166, December 1986].
  
     ["Functional Programming with Miranda", Ian Holyer, Pitman
     Press 0-273-03453-7].
  
     (2007-03-22)
  

From U.S. Gazetteer Places (2000) :

  Miranda, PR -- U.S. comunidad in Puerto Rico
     Population (2000):    2057
     Housing Units (2000): 711
     Land area (2000):     1.808395 sq. miles (4.683721 sq. km)
     Water area (2000):    0.000000 sq. miles (0.000000 sq. km)
     Total area (2000):    1.808395 sq. miles (4.683721 sq. km)
     FIPS code:            53678
     Located within:       Puerto Rico (PR), FIPS 72
     Location:             18.386437 N, 66.381745 W
     ZIP Codes (1990):    
     Note: some ZIP codes may be omitted esp. for suburbs.
     Headwords:
      Miranda, PR
      Miranda
  

Contact=webmaster@dict.org Specification=RFC 2229