网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 Idris
释义

Idris

原声例句
VOA慢速英语_娱乐

The three must work together to defeat their shared enemy, Brixton Lore, played by Idris Elba.

三个人必须一起打败他们共同的敌人,即由伊德里斯·艾尔巴扮演的布里克斯顿·罗尔。

VOA慢速英语_世界

Idris said he was especially concerned about what the pandemic could do in African countries already suffering economically.

伊德瑞斯说,他特别担心的是,在已经遭受经济困难的非洲国家,这种流行病可能会造成什么后果。

VOA Special 2018年4月合集

Idris Brewster created the app for the book.

伊德里斯布鲁斯特为这本书创建了应用程序。

The World From A to Z

On September 1st, 1969, Momar Al Kadafi ousted King Idris, the first of Libya in a military coup under Kaddafi.

1969年9月1日,莫马尔·卡扎菲在卡扎菲领导下的军事政变中推翻了利比亚第一位国王伊德里斯。

经济学人(汇总)

Authorities in Tanzania charged a comedian, Idris Sultan, after a video on social media showed him laughing at a photograph of the president, John Magufuli, in an oversize suit.

社交媒体上的一段视频显示,喜剧演员伊德里斯·苏尔坦(Idris Sultan)冲着身穿大号西装的总统约翰·马古富里(John Magufuli)的PS照片大笑,随后坦桑尼亚当局对他进行了指控。

亨利·亚当斯的教育(中)

As one lay on the slope of the Edge, looking sleepily through the summer haze towards Shrewsbury or Cader Idris or Caer Caradoc or Uriconium, nothing suggested sequence.

当一个人躺在边缘的斜坡上, 透过夏日的薄雾睡眼朦胧地望向什鲁斯伯里、卡德伊德里斯、卡尔卡拉多克或乌里科尼姆时, 没有任何迹象表明顺序。

中文百科

Idris Idris (programming language)

Idris 是一个通用的依赖类型纯函数式编程语言,其类型系统与 Agda 以及 Epigram 相似。

Idris 语言具备堪与 Coq 媲美的交互式定理证明能力,自带 tactics,而其设计目标侧重于通用系统编程更甚于辅助证明。Idris 的其他设计目标还包括“可观的”代码性能,对副作用的控制,以及对于实现嵌入式领域特定语言(Embedded Domain Specific Language,EDSL)的支持。

Idris 通过一个依赖类型的核心语言 TT 生成C语言的中间代码并编译到本地机器码,并利用了一个基于Cheney算法的垃圾收集器实现。Idris亦拥有 JavaScript、Java 和 LLVM 的编译器后端。

英语百科

Idris

Idris may refer to:

  • Cadair Idris, a mountain in Gwynedd, Wales, meaning "Chair of Idris [the Giant]"

language

随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/18 4:28:31