英文字典中文字典


英文字典中文字典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英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Search - Microsoft Bing
    Search with Microsoft Bing and use the power of AI to find information, explore webpages, images, videos, maps, and more A smart search engine for the forever curious
  • Microsoft Bing | Get to know Bing
    Copilot Search in Bing gives you quick, summarized answers with cited sources and suggestions for further exploration, making it easier than ever to discover more
  • Bing Testing Related Searches That Expand To More
    Microsoft is testing expandable related searches in the Bing Search results When you hover your mouse cursor over the related searches, Bing will load more below them
  • Microsoft Bing - Wikipedia
    Bing offers a broad spectrum of search services, encompassing web, video, image, and map search products, all developed using ASP NET The transition from Live Search to Bing was announced by Microsoft CEO Steve Ballmer on May 28, 2009, at the All Things Digital conference in San Diego, California The official release followed on June 3, 2009
  • Advanced Bing Search Operators and Filters - TechBloat
    This article delves into some advanced Bing search operators and filters, providing insights and practical examples to elevate your search skills to new heights
  • What is the new Bing, and how does it differ from its previous versions . . .
    These features make the new Bing more than just a traditional search engine by leveraging AI to provide a more intuitive, interactive, and personalized user experience
  • Microsoft launches the new Bing, with ChatGPT built in
    Today, at a press event in Redmond, Washington, Microsoft announced its long-rumored integration of OpenAI’s GPT-4 model into Bing, providing a ChatGPT-like experience within the search engine
  • How to Use Bing Search Engine on Desktop or Mobile - wikiHow
    This wikiHow teaches you how to use the Bing website to search for content online Bing is a Microsoft-owned alternative to Google, and thus can be used in any web browser or as an app on your smartphone You can also set Bing as the default search engine in Chrome, Firefox, or Safari if you wish; if you use Microsoft Edge, Bing is the search engine by default
  • Bing Search App Versions | User Agents
    Bing Search App Versions Latest Bing Search App versions: Bing Search App 9 9 Bing Search App 9 8 Bing Search App 9 7 Bing Search App 9 6 Bing Search App 9 5 Bing Search App 9 4 Bing Search App 9 3 Bing Search App 9 2 Bing Search App 9 1 Bing Search App 9 0 Bing Search App 8 9 Bing Search App 8 8 Bing Search App 8 6 Bing Search App 8 5 Bing





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