英文字典中文字典Word104.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　在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
  • Mirandas Finally Back in And Just Like That in Season 2 | TIME
    For the first time in nearly two seasons, Miranda is back in the workplace As she giddily announces to Carrie, she has an internship with Human Rights Watch Yes, she’s starting at the
  • Miranda Wiki - Fandom
    Miranda lives life jolly, but an upper middle class boarding school back ground, an over-bearing mother, and her six feet of height make her the odd duck She has never fitted in with 'the girls' and she doesn't know how to behave socially or how to avoid embarrassment, especially around men
  • 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
  • When Are You Read Your Miranda Rights? - LegalClarity
    The concept of Miranda rights stems from the 1966 Supreme Court case Miranda v Arizona These rights are designed to protect an individual’s Fifth Amendment privilege against self-incrimination during interactions with law enforcement The warning ensures a person is aware of their right to remain silent and their right to an attorney
  • Watch Miranda Streaming Online | Tubi Free TV
    Watch Miranda Free Online | An offbeat comedy series about Miranda Hart, a socially inept joke shop owner who digs her way out of—and into—awkward situations
  • Miranda - Full Cast Crew - TV Guide
    Learn more about the full cast of Miranda with news, photos, videos and more at TV Guide





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

|中文姓名英譯,姓名翻譯 |简体中文英文字典