Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,763,563,769 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Miranda

   Also found in: Dictionary/thesaurus, Wikipedia, Hutchinson 0.02 sec.
Miranda, in astronomy, one of the moons, or natural satellites, of Uranus Uranus (yrā`nəs, y
..... Click the link for more information.
.
Miranda [mə′ran·də]
(astronomy)
A satellite of Uranus orbiting at a mean distance of 76,880 miles (124,000 kilometers).

Miranda
innocent and noble-minded daughter of Prospero. [Br. Lit.: The Tempest]
See : Naïveté

(language)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.

Translators from Miranda to Haskell (mira2hs) and to LML (mira2lml) are available at http://foldoc.org/pub/misc. Non-commercial near-equivalents of Miranda include Miracula and Orwell.

http://miranda.org.uk/.

["Miranda: A Non Strict Functional Language with Polymorphic Types", D.A. Turner, in Functional Programming Languages and Computer Architecture, LNCS 201, Springer 1985].

["An Overview of Miranda", D. A. Turner, SIGPLAN Notices, 21(12):158--166, December 1986].

["Functional Programming with Miranda", Ian Holyer, Pitman Press 0-273-03453-7].


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
? Mentioned in ? References in classic literature
 
She was born the day father died Aunt Miranda wanted Hannah to come to Riverboro instead of me, but mother couldn't spare her; she takes hold of housework better than I do, Hannah does.
We also heard that Miranda struck from the west end of the Sierra Ventana, in a direct line to the island of Cholechel, situated seventy leagues up the Rio Negro.
Neither entreaty nor courtly remonstrance came from the English prince; but Sir Hugh Calverley passed silently over the border with his company, and the blazing walls of the two cities of Miranda and Puenta de la Reyna warned the unfaithful monarch that there were other metals besides gold, and that he was dealing with a man to whom it was unsafe to lie.
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.