Miranda

enUK

Mi·ran·da¹

M0325650 (mə-răn′də)n. A satellite of Uranus.

[After Miranda, , daughter of the magician Prospero in The Tempest by William Shakespeare.]

Mi·ran·da²

M0325650 (mə-răn′də)adj. Of or relating to a warning given by police to a criminal suspect advising of the constitutional right against self-incrimination and of the right to have a lawyer present during any interrogation.

[After Ernesto A. Miranda (1940?-1976), petitioner in the case of Miranda v. Arizona (1966).]

Miranda

(mɪˈrændə) n (Celestial Objects) one of the larger satellites of the planet Uranus

Miranda

(Spanish miˈranda) n (Biography) 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

Mi•ran•da

(mɪˈræn də)

n. daughter of Prospero in Shakespeare's The Tempest.

Translations

Miranda

enUK

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]See: Naïveté

Miranda

(language)(From the Latin for "admirable", also the heroineof Shakespeare's "Tempest") A lazy purely functionalprogramming language and interpreter designed by David Turner of the University of Kent in the early 1980s andimplemented as a product of his company, Research Software Limited. Miranda combines the main features of KRC andSASL with strong typing similar to that of ML.

It features terse syntax using the offside rule forindentation. The type of an expression is inferred from thesource by the compiler but explicit type declarations arealso allowed. It has nested pattern-matching, list comprehensions and modules. It uses operator sectionsrather 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 mostUNIX-like platforms including Intel PC under Linux. TheKAOS 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 Miraculaand Orwell.

http://miranda.org.uk/.

["Miranda: A Non Strict Functional Language with Polymorphic Types", D.A. Turner, inFunctional Programming Languages and Computer Architecture,LNCS 201, Springer 1985].

["An Overview of Miranda", D. A. Turner, SIGPLANNotices, 21(12):158--166, December 1986].

["Functional Programming with Miranda", Ian Holyer, PitmanPress 0-273-03453-7].

单词	miranda
释义	Miranda enUK Mi·ran·da¹ M0325650 (mə-răn′də)n. A satellite of Uranus. [After Miranda, , daughter of the magician Prospero in The Tempest* by William Shakespeare.] Mi·ran·da² M0325650 (mə-răn′də)adj.* Of or relating to a warning given by police to a criminal suspect advising of the constitutional right against self-incrimination and of the right to have a lawyer present during any interrogation. [After Ernesto A. Miranda (1940?-1976), petitioner in the case of Miranda v. Arizona (1966).] Miranda (mɪˈrændə) n (Celestial Objects) one of the larger satellites of the planet Uranus Miranda (Spanish miˈranda) n (Biography) 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 Mi•ran•da (mɪˈræn də) n. daughter of Prospero in Shakespeare's The Tempest. Translations Miranda enUK 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]See: Naïveté Miranda (language)(From the Latin for "admirable", also the heroineof Shakespeare's "Tempest") A lazy purely functionalprogramming language and interpreter designed by David Turner of the University of Kent in the early 1980s andimplemented as a product of his company, Research Software Limited. Miranda combines the main features of KRC andSASL with strong typing similar to that of ML. It features terse syntax using the offside rule forindentation. The type of an expression is inferred from thesource by the compiler but explicit type declarations arealso allowed. It has nested pattern-matching, list comprehensions and modules. It uses operator sectionsrather 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 mostUNIX-like platforms including Intel PC under Linux. TheKAOS 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 Miraculaand Orwell. http://miranda.org.uk/. ["Miranda: A Non Strict Functional Language with Polymorphic Types", D.A. Turner, inFunctional Programming Languages and Computer Architecture,LNCS 201, Springer 1985]. ["An Overview of Miranda", D. A. Turner, SIGPLANNotices, 21(12):158--166, December 1986]. ["Functional Programming with Miranda", Ian Holyer, PitmanPress 0-273-03453-7].
随便看	international liquid mirror telescope project international lisp conference international listening association international list of reportable substances international literacy day international literacy institute international literacy year international literary market place international literary & media agency international lithosphere program international litigation management association integrated child development services integrated child exploitation unit integrated child health information system integrated child protection scheme integrated children and youth service centre integrated chip integrated chip card integrated chips integrated chorda tympani responses integrated chronological applications system integrated circuit integrated circuit active phased arrays integrated-circuit capacitor integrated circuit card

Miranda

Mi·ran·da 1

Mi·ran·da 2

Miranda

Miranda

Mi•ran•da

Miranda

Miranda,

Miranda

Miranda

Miranda

Miranda

Mi·ran·da¹

Mi·ran·da²