英文字典中文字典


英文字典中文字典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 v. Arizona - Wikipedia
    Miranda v Arizona, 384 U S 436 (1966), was a landmark decision of the U S Supreme Court in which the Court ruled that law enforcement in the United States must warn a person of their constitutional rights before interrogating them when they are in custody or not free to leave an investigation, or else the person's statements cannot be used as evidence at their trial Specifically, the Court
  • 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 (full episodes) - YouTube
    Miranda (full episodes) by Felicia Sjöberg • Playlist • 20 videos • 39,181 views
  • Miranda v. Arizona | Oyez
    On March 13, 1963, Ernesto Miranda was arrested in his house and brought to the police station where he was questioned by police officers in connection with a kidnapping and rape After two hours of interrogation, the police obtained a written confession from Miranda
  • 1966: Miranda v. Arizona - A Latinx Resource Guide: Civil Rights Cases . . .
    In a 5-4 Supreme Court decision Miranda v Arizona (1966) ruled that an arrested individual is entitled to rights against self-incrimination and to an attorney under the 5th and 6th Amendments of the United States Constitution
  • Where did Miranda rights come from? How an AZ case sparked the issue
    Called Miranda rights, the statement is an oath of constitutional rights, defined by the Supreme Court case Miranda v Arizona It all began when Ernesto Miranda was confronted at his Phoenix
  • Miranda v. Arizona (1966): Supreme Court Case That Created the Miranda . . .
    Arizona fundamentally reshaped the U S criminal justice system by establishing the “Miranda Rights ” This landmark ruling ensured that individuals taken into police custody are informed of their constitutional protections—particularly the right to remain silent and the right to an attorney
  • 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)
  • 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
  • TOP 10 BEST Miranda Landscaping in Phoenix, AZ - Yelp
    Top 10 Best Miranda Landscaping Near Phoenix, Arizona Sort:Recommended All Open Now Fast-responding Request a Quote Virtual Consultations





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