这个项目是关于基于最近的代数效应框架的量子计算编程语言。
代数效应是一个最新的框架，它允许程序员将程序的主要结构与关于如何运行它的具体而详细的选择。这在实践中很有用，但也有重要的理论意义角色，因为一旦分离完成，理论家也可以开发特定计算的数学模型现象与编程实践的一般方面相分离。
这在量子编程中很重要，在量子编程中，管理从高层结构的通道很重要量子算法一直到量子硬件、模拟和量子理论的低级复杂性。
本项目的关键方向是通过构建另一种形式的编程，在量子编程方面取得进展：用于统计建模的概率规划。这是一项允许统计学家和数据科学家快速构建复杂模型。代数效应最近被应用于概率规划，以允许细粒度建模方法。
