Miranda










3 definitions retrieved

Dictionary

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)

Dictionary

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
Dictionary

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


Miranda related
Dictionary-X


Popular Words
Webster Dictionary, Online Dictionary, Spanish Dictionary, Medical Dictionary, Internet Dictonary, Web Dictionary, Dictionary Websters Online, Dream Dictionary, English - Spanish Dictionary, Urban Dictionary, Translate English To Spanish, Translate Germany,

Copyrights:
Gcide, Gazetteer, en-de, Devil's D., Freedict: GNU General Public License 2 or later
FOLDOC, VERA: GNU General Public License 1.1 or later
Moby-thesaurus, Jargon, Hitchcock, Bouvier, Elements, Easton: Public Domain
WordNet: Princeton University

Type your search term into the input field and press the 'Search' button!

Your link here for free? - Balance Transfer Credit Cards