量子编程
来自维基百科，自由的百科全书
量子编程（Quantum programming）是汇编指令序列之行程，称为量子程序，能够在量子计算机上运行。量子编程语言使用高级结构化的形式以助表达量子算法的计算。[1]
量子指令集
量子指令集用于将更高级别的算法转换为可以在量子处理器上执行的物理指令。有时这些指令是特定于给定的硬件平台，例如离子阱或超导量子位元。
cQASM，[2]也称为通用QASM，是一种与硬件无关的QASM，可保证所有量子编译以及仿真工具之间的互相操作性。它是由TUDelft的QCA实验室所引入的。
Quil是一种用于量子计算的指令集架构，它首先引入了共享量子/经典的记忆模型。它是由"罗伯特·史密斯"(Robert Smith)、"迈克尔·柯蒂斯"(Michael Curtis)，与"威廉·曾"(William Zeng)在"实用量子指令集架构"(A Practical Quantum Instruction Set Architecture)一文中介绍的。[3]许多量子算法（包括量子隐形传态、量子误差更正、模拟、[4][5]以及优化算法[6]）需要共享记忆架构。
Blackbird[8][9]是哈纳杜量子技术公司及史特贝利菲尔德公司(Strawberry Fields)使用的量子指令集与中介所表示的。Blackbird旨在表示可以于光子量子硬件上运行的连续可变量子程序。
量子编程语言
量子编程语言主要有两类：命令式量子编程语言和函数式量子编程语言。
正在致力于开发用于量子计算的函数式编程语言。函数式编程语言非常适合进行程序推理。一些示例包括 Selinger 的 QPL[13]、Haskell 类 Altenkirch 和 Graattage 的 QML 语言[14][15]。高阶量子编程语言，基于lambda演算，由 van Tonder[16]、Selinger 和 Valiron[17] 以及 Arrighi 和 Dowek[18] 提出。
参见
注释
延伸阅读
参阅
外部链接
Wikiwand - on
Seamless Wikipedia browsing. On steroids.