[mi-ran-duh; also for 1, 4, Spanish mee-rahn-dah]
Francisco de [frahn-sees-kaw the] , 1750–1816, Venezuelan revolutionist and patriot.
Astronomy. a moon of the planet Uranus.
daughter of Prospero in Shakespeare's The Tempest.
a female given name: from a Latin word meaning “to be admired.”
Law. of, pertaining to, or being upheld by the Supreme Court ruling (Miranda v. Arizona, 1966) requiring law-enforcement officers to warn a person who has been taken into custody of his or her rights to remain silent and to have legal counsel.
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To Miranda
World English Dictionary
Miranda1 (mɪˈrændə)
one of the larger satellites of the planet Uranus

Miranda2 (Spanish miˈranda)
Francisco de (franˈsisko de). 1750--1816, Venezuelan revolutionary, who planned to liberate South and Central America from Spain. A leader (1811--12) of the Venezuelan uprising, he surrendered to Spain and died in prison

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
Word Origin & History

fem. proper name, lit. fem. of L. mirandus "worthy to be admired," gerundive of mirari "to admire" (see mirror).

criminal suspects' arrest rights in U.S., 1967, in ref. to Fifth Amendment cases ruled on by U.S. Supreme Court June 13, 1966, under heading Ernesto A. Miranda v. the State of Arizona.
Online Etymology Dictionary, © 2010 Douglas Harper
Cite This Source
Computing Dictionary

Miranda definition

(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" (http://miranda.org.uk/nancy.html), D.A. Turner, in Functional Programming Languages and Computer Architecture, LNCS 201, Springer 1985].
["An Overview of Miranda" (http://miranda.org.uk/overview.pdf), D. A. Turner, SIGPLAN Notices, 21(12):158--166, December 1986].
["Functional Programming with Miranda", Ian Holyer, Pitman Press 0-273-03453-7].
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Encyclopedia Britannica


the beautiful and naive daughter of Prospero, the exiled rightful duke of Milan, in Shakespeare's The Tempest. Having grown up on an island with only her father and Caliban for company, she is overwhelmed when she finally sees other humans, and she responds rapturously:How beauteous mankind is! O brave new world, That has such people in 't!

Learn more about Miranda with a free trial on Britannica.com.

Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.
Cite This Source
Related Words
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature