英文字典中文字典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. 人权保护的

人权保护的

The Free On-line Dictionary of Computing (foldoc)

(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)

2010 Census U.S. Gazetteer Files

Miranda, PR -- U.S. comunidad in Puerto Rico
Population (2000): 2057
Housing Units (2000): 711
Land area (2000): 1.808395 sq. miles (4.683721 sq. km)
Water area (2000): 0.000000 sq. miles (0.000000 sq. km)
Total area (2000): 1.808395 sq. miles (4.683721 sq. km)
FIPS code: 53678
Located within: Puerto Rico (PR), FIPS 72
Location: 18.386437 N, 66.381745 W
ZIP Codes (1990):
Note: some ZIP codes may be omitted esp. for suburbs.
Headwords:
Miranda, PR
Miranda

请选择你想看的字典辞典：

单词	字典	翻译
Miranda	查看　Miranda　在百度字典中的解释	百度英翻中〔查看〕
Miranda	查看　Miranda　在Google字典中的解释	Google英翻中〔查看〕
Miranda	查看　Miranda　在Yahoo字典中的解释	Yahoo英翻中〔查看〕

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

中文字典英文字典工具:

选择颜色:

<style type="text/css">#word104_1 br {display:none;}</style>
<form id="word104_1" method="post" action="http://in.goldgoldprice.com/index.php" target="_blank">
<div style="width: 140px;border:1px solid #000;background-color:#ffffff;padding: 0px 0px;margin: 0px 0px;align:center;text-align:center;overflow:hidden;"><div id="xcolor1_1" style="font-size:12px;color:#183a00;line-height:16px;font-family: arial; font-weight:bold;background:#94abf0;padding: 3px 1px;text-align:center;"><a href="http://in.goldgoldprice.com/" alt="英文字典中文字典" title="英文字典中文字典" id="word_name104_1" style="color:#000000;font-size:14px;text-decoration:none;line-height:16px;font-family: arial;" >英文字典中文字典</a></div><table width=100% style='align:center;text-align:left;font-size:12px;background-color:#ffffff;color:#333333;'>
<tr><td style="text-align:center;border:0"><input type=hidden name="word104_hi" value="1">输入中英文单字</td></tr><tr><td style="text-align:center;border:0"><input type="text" name="word104_input" value="" size=10 style="background-color:#ffffff;color:#000;text-decoration:none;font-family: arial;rial;border:1px solid #999;padding:1px!important;"></td></tr><tr style='line-height: 26px;'><td style="text-align:center;border:0"><input type=submit style="background-color:#ccc;color:#000;border:0 none;cursor:pointer;" value="查询字典"></td></tr></table></div>
</form>

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

Starting Your First Discord Server
Looking to create a new Discord server for the first time? How do you invite your friends to it? What even IS a text or voice channel in Discord? Follow along as we help you start up a new place to talk and play games with your friends
Your Place to Talk - Discord
Discord is designed to make it easier for you to invite your communities and friends to your Discord home And this is just the beginning
Discord Privacy Policy
We take your privacy seriously Read and learn about Discord's privacy policy
Discord - Group Chat That’s All Fun Games
Discord is great for playing games and chilling with friends, or even building a worldwide community Customize your own space to talk, play, and hang out
About Discord | Our Mission and Story
Discord is the communications platform that enables you to build meaningful connections around the joy of playing games through voice, video, and text features
Terms of Service | Discord
Discord provides services that help you connect with other Discord users and communities Discord users communicate primarily via “servers,” which are digital spaces made up of different types of channels Text channels allow users to interact via text-based messages, as well as images, GIFs, emoji, and other uploadable media
Build where the world plays - Discord
Build and scale social games and experiences where millions of friends are looking for fun things to do
How to Join a Discord Voice Call Directly From Your Xbox
Learn how to join Discord calls directly from your Xbox Series X|S or Xbox One console, and a whole bunch of other stuff, like streaming your Xbox games to Discord and showing off the Xbox game you’re playing with your Discord friends
DISCORD BLOG
Discover the latest news and app updates, stories, company insights, and plenty more about Discord, all in one place
Announcing Discord’s Social SDK, Helping Power Your Game’s Social . . .
Today, we’re announcing our new Social SDK that empowers game developers of all sizes to implement Discord-powered features directly in their games, helping players easily talk, connect and enhance their social experiences

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