量子计算的QRAM模型描述了（假设的）量子计算机和经典计算机如何协同工作以产生复杂的量子算法。经典计算机处理大部分计算，并将电路发送给量子计算机执行。在这次演讲中，我将介绍Qwire电路语言，该语言使用我们选择的经典编程语言对电路进行编码，并促进与连接的量子计算机的通信。Qwire使用线性类型来确保电路结构良好，并具有良好的操作语义，从而将电路简化为一小组正常形式。此外，该语言是高度模块化的，因为它可以嵌入到将电路视为一级数据的任意主机语言中。
