[mi-ran-duh; also for 1, 4, Spanish mee-rahn-dah] /mɪˈræn də; also for 1, 4, Spanish miˈrɑn dɑ/

Francisco de
[frahn-sees-kaw th e] /frɑnˈsis kɔ ðɛ/ (Show IPA), 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, relating 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.
one of the larger satellites of the planet Uranus
/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

fem. proper name, fem. of Latin mirandus “worthy to be admired,” gerundive of mirari “to admire” (see miracle).

criminal suspects’ arrest rights in U.S., 1967, in reference to Fifth Amendment cases ruled on by U.S. Supreme Court June 13, 1966, under heading Ernesto A. Miranda v. the State of Arizona.
(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].


Read Also:

  • Miranda decision

    Miranda decision [(muh-ran-duh)] A decision by the United States Supreme Court concerning the rights of persons in police custody. In the case of Miranda versus Arizona, in 1966, the Court ruled that, before questioning by the police, suspects must be informed that they have the right to remain silent and the right to consult an […]

  • Mirandize

    [mi-ran-dahyz] /mɪˈræn daɪz/ verb (used with object), Mirandized, Mirandizing. 1. (sometimes lowercase) Informal. to advise (a person being arrested) of his or her rights under the Miranda ruling. Related Terms give someone his rights

  • Miras

    [mahy-ruh] /ˈmaɪ rə/ noun 1. Astronomy. the first long-period pulsating variable star to be discovered, with a period averaging 331 days. It is a red giant and a component of a binary star in the constellation Cetus. 2. a female given name. /ˈmaɪˌræs/ noun acronym (formerly in Britain) 1. mortgage interest relief at source Media […]

  • Mirasol

    noun See guajillo chile

Disclaimer: Miranda definition / meaning 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. All content on this website is for informational purposes only.