(redirected from Miranda (disambiguation))
Also found in: Dictionary.


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.
The Columbia Electronic Encyclopedia™ Copyright © 2013, Columbia University Press. Licensed from Columbia University Press. All rights reserved. www.cc.columbia.edu/cu/cup/


(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.
Collins Dictionary of Astronomy © Market House Books Ltd, 2006


A satellite of Uranus orbiting at a mean distance of 76,880 miles (124,000 kilometers).
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.


innocent and noble-minded daughter of Prospero. [Br. Lit.: The Tempest]
Allusions—Cultural, Literary, Biblical, and Historical: A Thematic Dictionary. Copyright 2008 The Gale Group, Inc. All rights reserved.


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


["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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)