Solidot | 新语言帮助量子程序员编写杀手级应用

一种专为量子计算机设计的高级编程语言将帮助创造出实用性的量子软件。这个新语言名叫 Quipper，由加拿大Dalhousie大学和美国普林斯顿高等研究院研究人员联合开发，包含经典编程语言的优秀特性，使之适应于量子计算。量子计算机的一个重要特性是量子比特的值可以同时为1和0，使计算机可以同时执行两次以上的运算。但设计出利用量子并行处理的算法则非常有挑战性。Dalhousie大学Peter Selinger 和同事开发的Quipper是第一种高级量子编程语言，它基于经典函数编程语言 Haskell，为处理量子比特进行了特别定制。Quipper代码库能执行七种现有的量子算法，研究人员希望有更多开发者为Quipper开发代码库，共享资源，使得量子程序员能像经典计算机程序员那样，通过结合模块构建软件。这项研究得到了美国情报高级研究计划署IARPA的资助。