英文字典中文字典


英文字典中文字典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! - Wikipedia
    Named after Argentinian actor Osvaldo Miranda, the group finally met the actor in December 2002 during the Buen Dia Arriba Festival in Palermo Their popularity grew around the Buenos Aires underground music circuit, based on their peculiar music, style and looks
  • miRanda (microRNA. org) - miRToolsGallery
    Target predictions are based on a development of the miRanda algorithm which incorporates current biological knowledge on target rules and on the use of an up-to-date compendium of mammalian microRNAs
  • 微生信-miRanda在线预测miRNA-mRNA，miRNA-circRNA，miRNA-lncRNA结合
    miRanda在线预测miRNA靶基因 简介 miRanda是一种检测基因组序列中miRNA潜在靶位点的算法。 当前版本：v3 3a miRanda is an algorithm for the detection of potential microRNA target sites in genomic sequences 两步策略：1，在查询的miRNA序列和mRNA 3'UTR序列间进行动态规划局部比对。
  • Miranda (full episodes) - YouTube
    Videos you watch may be added to the TV's watch history and influence TV recommendations To avoid this, cancel and sign in to YouTube on your computer An error occurred while retrieving sharing
  • GitHub - hobywan miranda: A software to predict miRNA secondary . . .
    A software to predict miRNA secondary structure regarding conformation energy and matching size - hobywan miranda
  • 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 靶基因预测来了！ - 知乎
    miranda是为数不多直接输入序列进行预测的软件，因此被广泛使用，微生信以miRanda v3 3a版为后端，搭建了简单的在线miRNA预测页面，不用再东奔西走找软件了。 应用包括： piRNA靶基因，miRNA靶基因，circRNA-miRNA吸附预测， ceRNA 等
  • Miranda Cosgrove (@mirandacosgrove) • Instagram photos and videos
    9M Followers, 866 Following, 1,200 Posts - Miranda Cosgrove (@mirandacosgrove) on Instagram: "I can’t complain but sometimes I still do"
  • Miranda Bike Parts
    Manufactured exclusively in the European Union, our components combine innovation with the highest standards of craftsmanship, ensuring that MIRANDA continues to set the benchmark for cyclists worldwide
  • miRanda安装与使用 - CSDN博客
    二、使用 miRanda 1、准备输入文件 miRNA 序列: 需要一个包含 miRNA 序列的 FASTA 格式文件，命名为 miRNA fasta。 mRNA 序列: 需要一个包含 mRNA 序列的 FASTA 格式文件，命名为 mRNA fasta。 2、运行 miRanda 使用以下命令运行 miRanda 进行 miRNA 和 mRNA 的相互作用预测：





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