IDRIS in Chinese translation

• idris
• 伊德里斯
• 伊德瑞斯
• 易德立斯

Examples of using Idris in English and their translations into Chinese

A library module prelude is automatically imported by every Idris program, including facilities for IO, arithmetic, data structures and various common functions.
库模块Prelude会在每个Idris程序中自动导入，包括IO功能，算术运算，数据结构以及多种通用函数。

My spies in Idris insist the girl is of little consequence- which makes me worry that she is even more dangerous than I would feared.”.
我在伊德里斯的间谍坚持说这个女孩没什么大不了的，这使我担心她比我担心的还要危险。

Idris Elba will be playing the main role of the gunslinger, a man looking for the Dark Tower to save his world from extinction.
伊德瑞斯·艾尔巴将扮演枪手的主要角色，一个人在寻找黑暗的塔，以拯救他的世界免于灭绝。

The Inspector-General of Police, IGP Ibrahim Idris, has revealed the areas where prospective police recruits will be assessed before their final selection.
警察总监IGPIbrahimIdris已经透露了在最终选择之前将对未来警察新兵进行评估的领域。

Idris knew instantly: The old woman was a spy, sent by the Chinese government to infiltrate his family.
伊德瑞斯当下就知道，这位老太太是间谍，中国政府派她来渗透进姊姊的家庭。

The terrorist that sent Idris on her suicide mission was Mohammed Hababa, a Tanzim operative who worked as a driver for the Palestinian Red Crescent.
派遣伊德里斯执行她的自杀任务的恐怖分子穆罕默德·哈巴巴是坦齐姆间谍，在巴勒斯坦红新月会当司机。

Idris Elba, Rosario Dawson and other active and retired NBA All-Star players played in a new way to present a fascinating story.
IdrisElba、RosarioDawson等现役与退役NBA全明星球员倾情出演，以焕然一新的方式呈现出引人入胜的故事情节。

The new film featuring Idris Elba provides a preview of the first Grand Basel show, which will take place in Basel in September 2018.
伊德瑞斯·艾尔巴的最新电影预先展示了将于2018年9月在巴塞尔举行的首个展览GrandBasel。

Evidence suggests that Idris used her medical accreditation, and possibly even a Red Crescent vehicle, to gain access to Israel.
证据表明，伊德里斯使用她的医务证，甚或红新月会的车辆进入以色列。

The Idris type checker knows about the Lazy type, and inserts conversions where necessary between Lazy a and a, and vice versa.
Idris类型检查器知道Lazy类型，并会在必要时在Lazya和a之间插入转换，反之亦同。

Then Idris, along with more than a dozen senior insurgent commanders, severed ties with the political opposition-in-exile, further fragmenting the notoriously divided rebel movement.
然后伊德里斯与十几名高级叛乱指挥官一起切断了与流亡政治反对派的关系，进一步破坏了臭名昭着的分裂反叛运动。

The project was originally sponsored by the Oriental TeX project, founded by Idris Samawi Hamid, Hans Hagen, and Taco Hoekwater.
该项目最初由OrientalTeXproject资助，由IdrisSamawiHamid、HansHagen和TacoHoekwater发起。

We also heard that Abdurehim Idris, my brother-in-law, was sentenced to 20 years in jail.
我们还听说我丈夫的兄弟阿卜杜热依木·伊德瑞斯被判了20年有期徒刑。

On 4 August 1969, Idris signed an instrument of abdication in favour of Crown Prince Hasan as-Senussi, to take effect on 2 September that year.
年8月4日，伊德里斯签署退位诏书，指定由王储哈桑继承王位，同年9月2日生效。

At 0900 hours, an armed terrorist group opened fire on law enforcement personnel in Damir, killing Corporal Firas Idris and injuring four other men.
时00分，一个武装恐怖团伙在Damir向执法人员开火，造成FirasIdris下士死亡，另外四名男子受伤。

There's a man out there, somewhere, who looks a little bit like the actor Idris Elba, or at least he did 20 years ago.
某个地方，有这样一个人，长得有点儿像演员伊德瑞斯·艾尔巴，好吧，至少20年前很像。

Idris Elba has confirmed in the past that he will not play James Bond after Daniel Craig leaves the franchise.
伊德里斯·厄尔巴过去曾证实，在丹尼尔·克雷格离开球队后，他不会扮演詹姆斯·邦德。

Other members of the committee are the accountant-general of the federation, Ahmed Idris, commissioners for finance from the 36 states;
该委员会的其他成员是联邦会计师，AlhajiAhmedIdris;来自36个州的财政专员;

She told Idris that she wouldn't be coming back to Istanbul because she“didn't have time.”.
之后她告诉伊德里斯不会回到伊斯坦布尔，因为她“没时间”。

At 1800 hours, an armed terrorist group abducted Sergeant Shakir Fayez Idris in the district of Shaykh Miskin and stole his weapon.
时，一个武装恐怖集团在ShaykhMiskin区绑架了ShakirFayezIdris中士，并偷了他的武器。