Miranda


Also found in: Dictionary, Wikipedia.
Related to Miranda: Miranda rights

Miranda,

in astronomy, one of the moons, or natural satellites, of UranusUranus
, 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

(mi-ran -dă) A satellite of Uranus, discovered in 1948 by G.P. Kuiper. A relatively small satellite with a diameter of 470 km, it orbits its primary once every 1.4 days at a mean distance of 129 000 km. Only half of Miranda's surface was available for study from Voyager 2 in 1986 (the northern hemisphere was in darkness) but a complex surface structure was revealed. Several distinct types of terrain exist: old cratered plains, younger brighter areas with cliffs and scarps, and regions of enclosed grooved areas about 200–300 km across. These features occupy distinct portions of the satellite, leading to the theory that Miranda was shattered by a collision and then subsequently reassembled into a single body. See Uranus' satellites; Table 2, backmatter.

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]

Miranda

(language)
(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].
References in periodicals archive ?
As it turns out, Miranda was a member of the college's Jewish a cappella group, the Mazel Tones.
Or kung may injury mga guards, pwede ako, nag e-ensayo pa rin ako," said Miranda.
Miranda earned her undergraduate degree from Grinnell College.
Abby Geni's first novel, which follows her well-reviewed collection of short stories The Last Animal (2013), narrates the year that "rootless, unmoored" nature photographer Miranda spends living in a cabin on the Farallon "Islands of the Dead.
Sources claim writer and star Miranda Hart, 44, will team up with Tom Ellis, 38, her screen hubby Gary, to draft a new story.
I feel like it's not done with me," Miranda (http://www.
Structural engineer Miranda, who is recovering at her mum Chrissy's home in Dumfries after 11 days in hospital, said: "I could have died up there.
Presented by the Bar's Continuing Legal Education Committee and the Criminal Law Section, "The 50 Years of Miranda" will provide a detailed analysis of the decision itself, the caselaw that followed the Miranda decision, as well as what the future holds for Miranda.
Three eighth-grade boys each have a story to tell about Miranda Mullaly--when they first noticed how great she was and their plans to get her attention and ask her to the dance .
COMEDIAN Miranda Hart is laughing all the way to the bank after winding up one of her companies.
For husband and wife killers Miranda and Elytte Barbour, they just had to place an advert and their victim would come to them.
COMEDIAN Miranda Hart bids a Miranda Hart bids a tearful farewell to her on-screen tearful farewell to her on-screen alter ego in Miranda: alter ego in Miranda: The Finale (12).