Get the latest tech news
Using Coalton to implement a quantum compiler (2022)
By Elias Lawson-Fox, Aidan Nyquist, and Robert Smith Table Of Contents Introduction: Coalton and the quilc compiler Towards a discrete set of operations for quantum computation An approach to discrete compilation by Ross and Selinger Coalton’s strength in implementing math Discrete compilation in quilc Inaccuracy gotchas and validating the compiler Conclusion and how to get involved Acknowledgements Introduction: Coalton and the quilc compiler Quilc is a state-of-the-art optimizing compiler for quantum computers written in Common Lisp.
Quilc and its related tooling are around 50,000 lines of code, and though it has good test coverage, it falls trap to problems that frequently show up when using dynamically typed programming languagues, two of which are In this post, we’ll walk through what discrete compilation is, how Coalton made it simpler to implement (compared to Common Lisp), and how we tested that such a complicated feature actually works. (Quilc will be happy to construct a chip of any requested shape, size, and native operations; 4Q-cliffordt is just a convenient built-in for testing the discrete compilation machinery.)
Or read this on Hacker News