奎珀语


描述

镊子是一种嵌入式、可扩展的函数编程量子计算语言。除其他外,它还提供:
  • 一种高级电路描述语言。这包括对电路片段的逐个门的描述,以及强大的用于组装和操作电路的操作符。
  • 允许混合过程性和声明性的语法编程风格。
  • 内置可逆式自动合成设备量子电路,包括经典密码。
  • 支持分层电路。
  • 可扩展的量子数据类型。
  • 可编程电路变压器。
  • 支持三个执行阶段:编译时、电路生成时间和电路执行时间。动态提升允许电路生成参数化值的操作在电路执行时生成。
  • 广泛的量子函数库,包括:库用于量子整数和定点算法;量子傅里叶转换;高效的Qram实施;仿真库伪经典电路、稳定器电路和任意电路;精确和近似分解库电路集成到特定的门组中。
Quipper发行版还包括七个文献中的非平凡量子算法:

文档


2015年8月CACM封面快讯

新闻快报

关于Quipper的其他文章


“规划量子未来”,CACM宣传视频

发行说明

请参阅文件新闻了解更多详细信息。

2019年12月29日:发布0.9.0.0。这是的第一版作为一组Cabal包发布的Quipper。现在可以了安装有“cabal-install-quipper”。请参见自述文件用于更详细的安装说明。重新设计了模块结构,以便所有部件的Quipper现在包含在“Quipper”命名空间中。这需要许多Quipper程序需要更新。以下是名称空间的情况改变:

旧:新:====                ====奎珀。XYZ套筒。内部。XYZ(XYZ)QuipperLib公司。XYZ套筒。图书馆。XYZ(XYZ)图书馆。XYZ套筒。实用程序。XYZ公司算法。XYZ套筒。算法。XYZ(XYZ)测试Quipper。演示程序Quipper。程序
此外,还有许多兼容性更新来制作Quipper与最新版本的GHC和Haskell库兼容。

2016年7月27日:版本0.8。与的兼容性GHC公司8.注意:通用条款7.10太破了,不会由Quipper提供支持。

2014年10月14日:发布0.7。与的兼容性GHC公司7.8.

2014年1月16日:0.6版。这主要是一个维护版本与相关Haskell库保持同步。小编辑和文档更新。添加了合成算法的替代版本对于行列式1生成器。合成和渲染库是现在是外部包。

2013年9月2日:0.5版。便携性改进对于GHC 7.6。Windows的可移植性改进。补充quipperi脚本,类似于ghci。的新库经典电路最优化,拆箱近似多量子比特门.附加大门分解。将分解添加到“标准”闸门组.更新的ASCII输出格式;改进的电路分析器效率。其他错误修复、重构和文档更新。

2013年6月19日:0.4版。这是Quipper的第一次公开发布。这是一个测试版。

下载和安装(Cabal)

从Quipper 0.9开始,建议安装Quipper的方法是使用Cabal。简而言之,命令
阴谋集团更新电缆安装设备
安装Quipper的所有必要组件(Quipper语言、Quipper标准库和Quipper工具)。此外,命令“cabal install quipper-all”还安装Quipper算法和演示。有关更详细的说明,看见自述文件.

下载和安装(传统方法)

建议使用Cabal安装Quipper,看见“下载和安装(阴谋集团)“以上。

为了向后兼容,编译Quipper的旧方法也仍然有效。Quipper可在此处下载:

如果您想确保下载文件的准确性,您可以可以仔细检查他们的SHA1公司总和。有早期版本在这里.

Linux、Macintosh和其他系统的旧版安装说明类Unix系统:

Windows的旧版安装说明:

请注意:Quipper不适用通用条款7.10或8.10。当前支持的版本有GHC 8.0版,8.2、8.4、8.6和8.8。

版本

0.9.0.0

贡献者

贡献者在这里按姓氏字母顺序列出。除非另有说明,否则其贡献的版权取决于每个作者。对于以下作者的贡献:名称已标记(ACS),版权归Applied Communication所有科学。

版权所有(C)2011-2019。保留所有权利。
版权所有(C)2012-2013 Applied Communication Sciences。所有权利保留。

理查德·艾森伯格
亚历山大·格林
彼得·勒法努·朗斯丹
基思·金(ACS)
Siun-Chuon Mau(美国化学学会)
巴拉尼达兰·莫汉
Won Ng(美国化学学会)
Joel Ravelomanantsoa-Ratsimiha
尼尔·J·罗斯
阿图尔·谢勒(ACS)
彼得·塞林格
贝诺?t缬氨酸
亚历山大·维罗多夫(ACS)
斯蒂芬·兹丹塞维奇(Stephan A.Zdancewic)

这项研究得到了情报高级研究的支持通过内政部国家商务部开展的项目活动(IARPA)中心合同编号:D11PC0168和D12PC00527。美国政府被授权为政府复制和分发重印本尽管有任何版权注释。免责声明:本文所含观点和结论均为作者的观点和结论不应被解释为代表官员IARPA的明示或暗示政策或背书,内政部/全国广播公司或美国政府。

许可证

以源代码和二进制形式重新分发和使用,有或无允许修改,前提是满足以下条件遇见:
  1. 重新分发源代码必须保留上述版权请注意,此条件列表和以下免责声明。
  2. 二进制形式的重新分发必须复制上述版权注意,此条件列表和以下免责声明提供的文件和/或其他材料分配。
  3. 作者和版权所有者的姓名不得用于在没有事先书面许可。
本软件由作者“按原样”提供,任何明示或默示担保,包括但不限于默示担保适销性和特定用途适用性的保证免责声明。在任何情况下,作者均不对任何直接的、,间接、偶然、特殊、惩罚性或后果性损害(包括但不限于采购替代货物或服务;使用、数据或利润损失;或业务中断)无论是何种原因,根据任何责任理论,无论是在合同中,由此产生的严格责任或侵权(包括疏忽或其他)以任何方式禁止使用本软件,即使通知此类损坏的可能性。


上次修改者彼得·塞林格2019年12月29日