对于量子计算机的第一个直观的编程语言

他补充说：“我们的量子编程语言Silq酒店允许程序员利用量子计算机的潜力比现有的语言更好，因为代码是更紧凑，更快捷，更直观，更容易理解的程序员。”本周，Vechev将在PLDI 2020年，编程语言的会议介绍Silq酒店到其他领域的专家。为了便于讨论，通过和进一步的发展，他和他的团队也已经发布在自己的网站Silq酒店。

量子计算也已经看到越来越多的关注，在过去的十年中，因为这些计算机，根据量子物理学的原则，这些原则运作，具有巨大的潜力。今天，大多数研究人员认为，这些电脑将有一天能够更快地解决某些问题比传统计算机，因为执行他们的计算，他们利用量子纠缠态，其中在时间上某点的信息重叠的各个位。这意味着，在未来的量子计算机将能够有效地解决这些传统计算机无法在合理的时间内解决问题。

这种量子霸主地位仍有待确证。然而，一些显著的技术进步已经被最近取得。在夏末2019，量子计算机成功地解决了一个问题，虽然是一个非常特殊的一个，速度比最快的经典计算机。

对于某些“量子算法”，即计算策略，它也知道，他们比传统的算法，不利用量子计算机的潜在速度更快。到目前为止，然而，这些算法仍然不能在现有的硬件量子计算，因为量子计算机目前仍然过于容易出错。

表达程序员的意图

利用量子计算的潜力，不仅需要最新的技术，更是一种量子的编程语言来描述量子算法。原则上，一个算法是一个“处方”来解决问题;编程语言描述的算法，使得计算机可以进行必要的计算。

广告

资源 ETH Zurich. "The first intuitive programming language for quantum computers." ScienceDaily. ScienceDaily, 15 June 2020. <www.sciencedaily.com/releases/2020/06/200615115820.htm>.