引入纯度和类型注释、捕捉编程错误,MIT推出低开销量子编程语言Twist

近日,MIT CSAIL 和 RLE(电子学研究实验室)的研究者在论文《Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs》中创建了一种被称为 Twist 的量子计算编程语言。Twist 可以通过一种经典计算机编程人员理解的语言来描述和核实哪些数据在量子程序中被纠缠。Twist 语言引入了一种被称为纯度(purity)的概念,这种概念导致纠缠强制缺失,生成了更直观易懂的程序,并且在理想情况下 bug 更少。

点击进入