Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,590,332,350 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Miranda

   Also found in: Dictionary/thesaurus, Wikipedia, Hutchinson 0.04 sec.
Miranda, in astronomy, one of the moons, or natural satellites, of Uranus Uranus , in astronomy, 7th planet from the sun, at a mean distance of 1.78 billion mi (2.87 billion km), with an orbit lying between those of Saturn and Neptune; its period of revolution is slightly more than 84 years.
..... 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 		Feedback
Mentioned in?  References in classic literature?   Encyclopedia browser?   Full browser?
No references found
 
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.
Rebecca Of Sunnybrook Farm by Wiggin, Kate Douglas View in context
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.
The Voyage of the Beagle by Darwin, Charles View in context
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.
The White Company by Doyle, Sir Arthur Conan View in context
 
 
 
Encyclopedia
?

Terms of Use | Privacy policy | Feedback | Copyright © 2012 Farlex, Inc.
Disclaimer
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.