英文字典中文字典


英文字典中文字典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 (full episodes) - YouTube
    Videos you watch may be added to the TV's watch history and influence TV recommendations To avoid this, cancel and sign in to YouTube on your computer An error occurred while retrieving sharing
  • Lin-Manuel Miranda Writes New Song for Live-Action Moana
    Lin-Manuel Miranda has penned a new original song for Disney’s live-action “ Moana ” “Along The Way” with both “Moana” actresses leading the vocals The song is performed by
  • Watch Miranda Streaming Online | Tubi Free TV
    An offbeat comedy series about Miranda Hart, a socially inept joke shop owner who digs her way out of—and into—awkward situations
  • Miranda Lambert | Biography, Songs, Awards, Facts | Britannica
    Miranda Lambert (born November 10, 1983, Longview, Texas, U S ) is an American country music singer-songwriter who crafted a repertoire in the early 21st century that ranged from rowdy revenge fantasies to sensitive ruminations on domestic life
  • Miranda Season 1 - watch full episodes streaming online
    Miranda finds it impossible to stand up to her eccentric mother Penny who makes embarrassing and desperate attempts to marry her off
  • Miranda Kavanaugh - From Wiki
    Miranda Kavanaugh was the mother of Victor and Eloise and was trapped along with her children in the Township Miranda tragically died trying to find a way to escape by journeying to the Lighthouse
  • Miranda Cosgrove - Age, Bio, Family | Famous Birthdays
    She released her debut album, Sparks Fly, in 2010 She also voiced the character Margo in Despicable Me and played Megan Parker in the Nickelodeon series Drake Josh She appeared in commercials for Mello Yello and McDonald's before branching out into film and television roles
  • It can be shockingly easy to mess up your Miranda rights
    Thanks to movies and television shows like "Law and Order," you probably know that if police want to interrogate you, you have the right to remain silent and to get an attorney The protections





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