Miranda definition

Miranda





Home | Index


We love those sites:

3 definitions found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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} at the {University of Kent} in the early 1980s.  It is


          sold by his company, {Research Software} Limited.  It combines
          the main features of {KRC} and {SASL} with {strong typing}
          similar to that of {ML}.  Implemented for {Unix} by Allan
          Grimeley, Computer Lab., UKC.  There is also a version that
          runs on {Intel 80386} and above {IBM PCs} under {Linux}.
       
          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.  Nested {pattern-matching}, {list
          comprehensions}, {modules}.  {Operator sections} rather than
          {lambda abstractions}.  User types are algebraic, and in early
          versions could be constrained by {laws}.  Implemented by {SKI
          combinator} reduction.  The {KAOS} operating system is written
          entirely in Miranda.
       
          E-mail: .
       
          Translators from Miranda to {Haskell} (mira2hs) and to {LML}
          (mira2lml) are available, {(ftp://www.foldoc.org/pub/)}.
          Non-commercial near-equivalents of Miranda include {Miracula}
          and {Orwell}.
       
          ["Miranda: A Non Strict Functional Language with Polymorphic
          Types", D.A. Turner, in Functional Programming Languages and
          Computer Architecture, LNCS 201, Springer 1985].
       
          ["Functional Programming with Miranda", Ian Holyer, Pitman
          Press 0-273-03453-7].
       
          (1997-08-01)
       
       

From U.S. Gazetteer (1990) [gazetteer]:

  Miranda, PR (comunidad, FIPS 53678)
    Location: 18.38867 N, 66.38025 W
    Population (1990): 1878 (586 housing units)
    Area: 4.7 sq km (land), 0.0 sq km (water)
  Miranda, SD
    Zip code(s): 57438

From U.S. Gazetteer Places (2000) [gaz-place]:

  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
  

















Powered by Blog Dictionary [BlogDict]
Kindly supported by Vaffle Invitation Code Get a Freelance Job - Outsource Your Projects | Threadless Coupon
All rights reserved. (2008-2024)