英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字,中文词皆可:

miranda    音标拼音: [mɚ'ændə]
adj. 人权保护的

人权保护的

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

(2007-03-22)


请选择你想看的字典辞典:
单词字典翻译
Miranda查看 Miranda 在百度字典中的解释百度英翻中〔查看〕
Miranda查看 Miranda 在Google字典中的解释Google英翻中〔查看〕
Miranda查看 Miranda 在Yahoo字典中的解释Yahoo英翻中〔查看〕





安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Miranda (TV series) - Wikipedia
    Miranda is a British television sitcom written by and starring the eponymous comedian Miranda Hart It originally aired on BBC Two from 9 November 2009, and later on BBC One
  • Miranda (TV Series 2009–2015) - IMDb
    Miranda: With Miranda Hart, Patricia Hodge, Sarah Hadland, Tom Ellis Socially inept Miranda always gets into awkward situations; working in her joke shop with best friend Stevie, being hounded by her pushy mother, and around her crush Gary
  • Miranda (Complete Full Episodes) TV Series 2009-2015 Comedy Sitcom
    Share your videos with friends, family, and the world
  • Miranda Season 1 - watch full episodes streaming online - JustWatch
    Streaming, rent, or buy Miranda – Season 1: Currently you are able to watch "Miranda - Season 1" streaming on Britbox Apple TV Channel There aren't any free streaming options for Miranda right now
  • What the cast of Miranda are doing now and series 4 news
    Fans of Miranda Hart’s much-loved comedy show Miranda were left disappointed when she said they’d be no series 4 Taking to her Facebook account in 2022, Miranda let excited fans down after reports claimed she would be back for a new series
  • Miranda warning - Wikipedia
    In the United States, the Miranda warning is a type of notification customarily given by police to criminal suspects in police custody (or in a custodial interrogation) advising them of their right to silence and, in effect, protection from self-incrimination; that is, their right to refuse to answer questions or provide information to law
  • Miranda (TV Series 2009–2015) - Full cast crew - IMDb
    Miranda (TV Series 2009–2015) - Cast and crew credits, including actors, actresses, directors, writers and more
  • Miranda Hart - Wikipedia
    Miranda Katherine Hart Dyke (born 14 December 1972) is an English actress, comedian and writer She has won three Royal Television Society awards, four British Comedy Awards, and four BAFTA nominations for her self-driven semi-autobiographical BBC sitcom Miranda (2009–2015)
  • List of Miranda episodes - Wikipedia
    Miranda is a British television series, created, co-written and starring comedian Miranda Hart It features Sarah Hadland, Tom Ellis, Patricia Hodge and Sally Phillips The series was originally broadcast on BBC Two where it achieved high ratings, before moving to BBC One due to its success
  • Miranda Rights for Criminal Suspects Under the Law
    These warnings, known as Miranda warnings or Miranda rights, identify some of the basic constitutional rights protected by the Fifth and Sixth Amendments Failure to “Mirandize” a suspect could result in any statements that he or she makes during or after an arrest being ruled inadmissible in court





中文字典-英文字典  2005-2009