 |
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
 |
Definitions retrieved from local copies of the freely distributed DICT client/server software and databases. Click here for database copyright information. - KM |