麻省理工学院推出新编程语言

Posted 程序猿

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了麻省理工学院推出新编程语言相关的知识,希望对你有一定的参考价值。

来自公众号:OSC开源社区

链接:https://www.oschina.net/news/180254/mit-new-language-quantum-computing-twist

麻省理工学院计算机科学与人工智能(CSAIL)的科学家开发了一种用于量子计算的新编程语言 —— Twist,专门用于解决数据纠缠问题,可以帮助开发人员减少误差并提高数据质量。
与使用比特的传统计算机不同,量子计算机使用量子比特将信息编码为 0 或 1,或同时编码为 0 和 1。传统的编程语言并不适用于量子计算机,量子计算机需要一种合适的编程语言,以便开发者利用其能力。而对量子计算机进行编程需要了解一种叫做“纠缠”的东西,这是一种用于各种量子比特的计算乘数,它可以转化为强大的能量。
Twist 能以程序员可以理解的语言,描述和验证哪些数据在量子程序中被纠缠。这种语言使用了一个叫做“purity”的概念,它强制不存在纠缠并产生更直观的程序,理想情况下会减少错误。例如,程序员可以使用 Twist 表示程序作为垃圾生成的临时数据不会与程序的答案纠缠在一起,从而可以安全地丢弃。
麻省理工学院电气工程和计算机科学博士生、Twist 相关的一篇论文的主要作者 Charles Yuan 称,“我们的语言 Twist 允许开发人员通过明确说明一个量子比特何时不得与另一个量子比特纠缠,来编写更安全的量子程序。因为理解量子程序需要理解纠缠,我们希望 Twist 为语言铺平道路,让程序员更容易应对来自量子计算的独特挑战。” 
根据介绍,Twist 具有足够的表现力,可以为著名的量子算法写出程序,并识别其实现中的错误。为了评估 Twist 的设计,MIT 的科学家们修改程序,引入了一些对人类程序员来说相对微妙的错误,并表明 Twist 可以自动识别这些错误并拒绝这些程序。MIT 研究人员称,通过合并 Twist,在量子计算机上运行的程序的运行时间仅增加了 4%。
MIT 方面指出,接下来重要的是使用 Twist 来创建更高级别的量子编程语言。“今天的大多数量子编程语言仍然类似于汇编语言,把低级的操作串在一起,没有注意到像数据类型和函数这样的东西,以及经典软件工程中的典型。”
芝加哥大学计算机科学的 Seymour Goodman 教授和 Super.tech 的首席科学家 Fred Chong 称,量子计算机容易出错且难以编程。通过引入和推理程序代码的 purity,Twist 朝着简化量子编程迈出了一大步,它保证了纯代码中的量子比特不会被不在该代码中的比特所改变。
--- EOF ---


推荐↓↓↓

一新编程语言问世,麻省理工学院推出 Twist

👇👇关注后回复 “进群” ,拉你进程序员交流群👇👇

文 | 白开水不加糖

出品 | OSC开源社区(ID:oschina2013)

麻省理工学院计算机科学与人工智能(CSAIL)的科学家开发了一种用于量子计算的新编程语言 —— Twist,专门用于解决数据纠缠问题,可以帮助开发人员减少误差并提高数据质量。

与使用比特的传统计算机不同,量子计算机使用量子比特将信息编码为 0 或 1,或同时编码为 0 和 1。传统的编程语言并不适用于量子计算机,量子计算机需要一种合适的编程语言,以便开发者利用其能力。而对量子计算机进行编程需要了解一种叫做“纠缠”的东西,这是一种用于各种量子比特的计算乘数,它可以转化为强大的能量。

Twist 能以程序员可以理解的语言,描述和验证哪些数据在量子程序中被纠缠。这种语言使用了一个叫做“purity”的概念,它强制不存在纠缠并产生更直观的程序,理想情况下会减少错误。例如,程序员可以使用 Twist 表示程序作为垃圾生成的临时数据不会与程序的答案纠缠在一起,从而可以安全地丢弃。

麻省理工学院电气工程和计算机科学博士生、Twist 相关的一篇论文的主要作者 Charles Yuan 称,“我们的语言 Twist 允许开发人员通过明确说明一个量子比特何时不得与另一个量子比特纠缠,来编写更安全的量子程序。因为理解量子程序需要理解纠缠,我们希望 Twist 为语言铺平道路,让程序员更容易应对来自量子计算的独特挑战。” 

根据介绍,Twist 具有足够的表现力,可以为著名的量子算法写出程序,并识别其实现中的错误。为了评估 Twist 的设计,MIT 的科学家们修改程序,引入了一些对人类程序员来说相对微妙的错误,并表明 Twist 可以自动识别这些错误并拒绝这些程序。MIT 研究人员称,通过合并 Twist,在量子计算机上运行的程序的运行时间仅增加了 4%。

MIT 方面指出,接下来重要的是使用 Twist 来创建更高级别的量子编程语言。“今天的大多数量子编程语言仍然类似于汇编语言,把低级的操作串在一起,没有注意到像数据类型和函数这样的东西,以及经典软件工程中的典型。”

芝加哥大学计算机科学的 Seymour Goodman 教授和 Super.tech 的首席科学家 Fred Chong 称,量子计算机容易出错且难以编程。通过引入和推理程序代码的 purity,Twist 朝着简化量子编程迈出了一大步,它保证了纯代码中的量子比特不会被不在该代码中的比特所改变。

-End-

最近有一些小伙伴,让我帮忙找一些 面试题 资料,于是我翻遍了收藏的 5T 资料后,汇总整理出来,可以说是程序员面试必备!所有资料都整理到网盘了,欢迎下载!

点击👆卡片,关注后回复【面试题】即可获取

在看点这里好文分享给更多人↓↓

以上是关于麻省理工学院推出新编程语言的主要内容,如果未能解决你的问题,请参考以下文章

拉格朗日乘数法

最优化方法:拉格朗日乘数法

大数据早报:IBM拟投2.4亿美元建人工智能实验室 青云推出RabbitMQ消息队列服务 (9.8)

字节跳动推出“大力小班”,集思学院获数千万元B轮融资|产品周报

如何在 SnapKit 中设置 heightAnchor 的乘数 - swift

理解情感 :从 Keras 移植到 pyTorch