Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Coalton赋能量子编译器：实现离散编译的突破

2025-05-08

Quilc，一个用Common Lisp编写的量子编译器，因动态类型语言的局限性而面临挑战。研究人员利用严格类型的Coalton语言，实现了一个名为离散编译的新功能。该功能通过将连续量子操作离散化，并利用Ross-Selinger算法，将任意酉矩阵分解为Clifford+T门的组合，从而提升了量子计算的精度和效率。Coalton的类型类系统简化了不同代数环的运算，使其成为实现这一复杂算法的理想工具。这项工作成功地将离散编译功能集成到Quilc中，为量子计算的实际应用铺平了道路。

(coalton-lang.github.io)
开发 Coalton