英文字典中文字典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 (full episodes) - YouTube
    BBC Miranda Series 1 Episode 2 Full Episode Some Uploads • 519K views • 5 years ago
  • Miranda (TV Series 2009–2015) - IMDb
    Miranda works in her joke shop with her best friend Stevie She struggles when in social environments and no matter how hard she tries, she is always making a fool of herself, especially in front of her crush Gary
  • Miranda Rights and the Fifth Amendment: What You Need to Know (2026)
    Learn about Miranda rights, the Fifth Amendment's self-incrimination clause, when Miranda warnings apply, and what happens when your rights are violated
  • Miranda - Where to Watch and Stream - TV Guide
    Find out how to watch Miranda Stream the latest seasons and episodes, watch trailers, and more for Miranda at TV Guide
  • Miranda (TV Series) | Miranda Wiki | Fandom
    Miranda is a popular television series made by ITV Studios Global Entertainment for the BBC It premiered on BBC Two on 9 November 2009 It starred and was co-written by Miranda Hart This sitcom revolves around Miranda, the daughter of an upper middle class Surrey couple, and therefore spent her childhood at boarding school At 6'1" and prone to social awkwardness, and a very British
  • Miranda (TV Series 2009-2013) — The Movie Database (TMDB)
    Socially inept Miranda always gets into awkward situations; working in her joke shop with best friend Stevie, being hounded by her pushy mother, and especially when she's around her crush Gary
  • 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 | Rotten Tomatoes
    Discover reviews, ratings, and trailers for Miranda on Rotten Tomatoes Stay updated with critic and audience scores today!
  • Lin-Manuel Miranda | Biography, Movies, Alexander Hamilton, Moana . . .
    Lin-Manuel Miranda, American actor, composer, lyricist, and writer who created and starred in stage productions that blended modern musical forms with classic musical theater Perhaps his best-known work was Hamilton, a hip-hop musical about Alexander Hamilton





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

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