英文字典中文字典


英文字典中文字典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 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
    BBC Miranda Series 1 Episode 2 Full Episode Some Uploads • 521K views • 5 years ago
  • Miranda - Avenue of the Giants
    Miranda, an adorable town with about 500 residents, is the largest town along the Avenue Here you’ll find lodging, dining, galleries, and a well-stocked market The town is also home to the local middle school and high school (Southern Humboldt Unified School District and South Fork High School)
  • Miranda - Full Cast Crew - TV Guide
    Learn more about the full cast of Miranda with news, photos, videos and more at TV Guide
  • Miranda, CA: All You Must Know Before You Go (2026) - Tripadvisor
    Miranda Tourism: Tripadvisor has 890 reviews of Miranda Hotels, Attractions, and Restaurants making it your best Miranda resource
  • Miranda, CA Map Directions - MapQuest
    Miranda, located in the heart of Northern California, is a quaint town best known for its proximity to the majestic Avenue of the Giants This famous scenic drive takes travelers through awe-inspiring redwood forests, offering an unparalleled experience of towering trees and serene natural beauty
  • 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 Season 1 - watch full episodes streaming online
    Is Netflix, Prime Video, Hulu, etc streaming Miranda Season 1? Find out where to watch full episodes online now!
  • Miranda warning - Wikipedia
    Named for the U S Supreme Court 's 1966 decision Miranda v Arizona, these rights are often referred to as Miranda rights The purpose of such notification is to preserve the admissibility of their statements made during custodial interrogation in later criminal proceedings





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