第一个用于量子计算的编程语言诞生，由欧洲第一理工名校研发完成

谷歌与IBM在量子计算机硬件上的不断改进，让我们在有生之年可能真会看到量子计算在现实世界中的应用案例。因此，我一点都不会惊讶，属于量子计算机的编程语言也随之出现了。

这个领域的最新成果，就是 Silq。这是全球顶尖理工院校——瑞士苏黎世联邦理工学院（ETH）研发出的一种量子计算机高级语言。

这里的重点是“高级编程语言”。因为研究人员指出，现有为程序员准备的量子语言仍然停留在一个低抽象层，这就让量子程序员的生活比普通程序员要困难太多。

联邦理工学院计算机科学副教授马丁 · 维切夫一开始的目的是想要解决量子计算的一个核心问题。但他发现，如果要解决核心问题，就要分析和推理量子程序；要分析程序，就需要有一种语言来表达这些问题ーー尽管现有的语言已经存在，但你会发现这并不理想，并不是最好的。

那么现有的语言有什么问题呢？ETH指出，入门量子计算领域的一个很好方法，是研究量子计算中没有出现在经典语言中的一个基本挑战，即“非计算”。实际上，“非计算”是Silq方法的核心，而且是内置的，能够实现安全的、自动的、开箱即用的“无计算”。

他们还补充说，编写低级程序更容易出错，让理解算法的实际操作更加困难，所以Silq的编译器还将试图防止程序员犯常见的错误。他们还研究了经典语言(比如所有权类型、线性类型系统等)的最新发展，并在量子计算的背景下实现了它们。

当然，Silq 目前仍然是一个尚未在任何现有量子硬件平台上运行的研究项目，所以研究人员编写了他们自己的量子模拟器来测试他们的假设，效果反馈不错。 这是一个令人瞩目的成就。

最后安利一下这所大学，被誉为欧陆第一名校的ETH是理工科学生的“天堂”，取得的成就不亚于美国名校。

免责声明：本文版权归原作者所有，文章系作者个人观点不代表蜗牛派立场，如若转载请联系原作者；本站仅提供信息存储空间服务，内容仅为传递更多信息之目的，如涉及作品内容、版权等其它问题都请联系kefu@woniupai.net反馈！