英文字典中文字典


英文字典中文字典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 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 (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 (TV Series 2009–2015) - Episode list - IMDb
    Miranda decides to prove to herself and her friends that she can officially be an adult by looking after a toddler and hosting a dinner party for eight Miranda doesn't know how to cope when, thanks to her new-found confidence, several men suddenly turn their affections towards her Worried about
  • Miranda (TV Series 2009–2015) - Episode list - IMDb
    Sitcom starring and written by Miranda Hart Penny threatens to cancel Miranda's Christmas if she does not sort her life out, forcing her on a detox Penny embarrasses Miranda by running for local councillor with Tilly as her wingman Gary and Miranda each look for a date for Stevie's birthday party
  • Miranda (1985) - Full cast crew - IMDb
    Miranda (1985) - Cast and crew credits, including actors, actresses, directors, writers and more
  • Miranda Kerr - IMDb
    Miranda May Kerr was born in Sydney and raised in the small town of Gunnedah to John and Therese Kerr Kerr's paternal grandmother lived on a farm, where she "raced motorbikes and rode horses " Her parents later moved the family to Brisbane when she and her younger brother Matthew were teenagers
  • Miranda Hart - IMDb
    Miranda Hart Actress: Spy Miranda Hart was born on 14 December 1972 in Torquay, Devon, England, UK She is an actress and writer, known for Spy (2015), Miranda (2009) and Emma (2020) She has been married to Richard Fairs since 6 July 2023
  • Miranda (Serie de TV 2009–2015) - IMDb
    Miranda: Con Miranda Hart, Patricia Hodge, Sarah Hadland, Tom Ellis Miranda, inepta social, siempre acaba en situaciones incómodas Trabaja en una tienda de bromas con su amigo Stevie, y su madre es adepta a avergonzarla, sobre todo cuando el chico que la gusta está cerca
  • Miranda Lambert - IMDb
    Miranda Lambert was born on 10 November 1983 in Longview, Texas, USA She is a music artist and actress, known for The Ice Road (2021), Burlesque (2010) and Hot Pursuit (2015) She has been married to Brendan McLoughlin since 26 January 2019 She was previously married to Blake Shelton
  • Miranda Richardson - IMDb
    Miranda Richardson was born in Southport, Lancashire, England on March 3, 1958, to Marian Georgina (Townsend) and William Alan Richardson, a marketing executive She has one sister, eight years her senior Her parents and sister are not involved in the performing arts





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