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 ?
Accounts released this week show Kingmaker Tours - with Miranda as the only director - had [euro]5,213,288 in the bank as of June and was expecting to receive a [euro]11,000 loan repayment.
COMEDIAN Miranda Hart bids a tearful farewell to her on-screen alter ego in Miranda: The Finale (12).
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).
SULTRY Miranda Kerr almost does the wool monty in her latest ad campaign.
But what of Miranda (BBC1), the first of the final two episodes of this much-loved - and, judging by some of the people I know, also much-loathed - sitcom?
The 2015 Spring/Summer Swarovski campaign features Aussie model Miranda Kerr as its new face.
Miranda and Prism are developing a minimum $100,000 budget work program for the Cerro Oro project, Colombia that will consist of mapping, rock chip and soil sampling, trenching and possibly an IP (induced polarization) geophysical survey.
Miranda is charged with two counts of attempted murder, two counts of assault and battery with a dangerous weapon (motor vehicle), two counts of leaving the scene of a personal injury accident, aggravated assault and battery, malicious destruction of property over $250, failing to stop for a police officer, negligent driving, unlicensed driving and miscellaneous motor vehicle violations.
com)-- Miranda Creative is pleased to announce its recent hire of Nicole Anllo, who joins the Miranda Creative team as a Social Media and Public Relations Specialist.
BEAR'S WILD WEEKEND WITH MIRANDA (Channel 4, 9pm) [bar] Whoever thought to throw Bear Grylls and Miranda Hart together had a touch of the genius about them; here's hoping the partnership works as well as we're all expecting.