蜗牛派谷歌与IBM在量子计算机硬件上的不断改进，让我们在有生之年可能真会看到量子计算在现实世界中的应用案例。因此，我一点都不会惊讶，属于量子计算机的编程语言也随之出现了。
这个领域的最新成果，就是 Silq。这是全球顶尖理工院校——瑞士苏黎世联邦理工学院（ETH）研发出的一种量子计算机高级语言。
这里的重点是“高级编程语言”。因为研究人员指出，现有为程序员准备的量子语言仍然停留在一个低抽象层，这就让量子程序员的生活比普通程序员要困难太多。
联邦理工学院计算机科学副教授马丁 · 维切夫一开始的目的是想要解决量子计算的一个核心问题。但他发现，如果要解决核心问题，就要分析和推理量子程序；要分析程序，就需要有一种语言来表达这些问题ーー尽管现有的语言已经存在，但你会发现这并不理想，并不是最好的。
那么现有的语言有什么问题呢？ETH指出，入门量子计算领域的一个很好方法，是研究量子计算中没有出现在经典语言中的一个基本挑战，即“非计算”。实际上，“非计算”是Silq方法的核心，而且是内置的，能够实现安全的、自动的、开箱即用的“无计算”。
他们还补充说，编写低级程序更容易出错，让理解算法的实际操作更加困难，所以Silq的编译器还将试图防止程序员犯常见的错误。他们还研究了经典语言(比如所有权类型、线性类型系统等)的最新发展，并在量子计算的背景下实现了它们。
当然，Silq 目前仍然是一个尚未在任何现有量子硬件平台上运行的研究项目，所以研究人员编写了他们自己的量子模拟器来测试他们的假设，效果反馈不错。 这是一个令人瞩目的成就。
最后安利一下这所大学，被誉为欧陆第一名校的ETH是理工科学生的“天堂”，取得的成就不亚于美国名校。
