量子编程变得简单

我们提出了IQu，即一种量子编程语言，它扩展了Reynold的理想化Algol，即类Algol语言的范式核心。IQu通过简单的类型理论将命令式编程与高阶特性结合在一起。IQu温和地将其量子特性与经典编程风格相结合，我们可以通过理想化算法进行实验，目的是简化向量子编程世界的过渡。建议的扩展沿两个主要方向进行。首先，IQu通过量子存储访问量子协处理器。其次，根据量子编程语言发展的最新趋势，IQu包括对量子电路直接操作的一些支持。最后，我们表明IQu在表达众所周知的量子算法方面非常有效。