Very cool! The examples on this page are Scheme implementations of the Examples section of his 2003 paper[0] linked on the page. He goes over the derivation of the programs for these examples in more detail in the paper.<p>[0]: <a href="https://arxiv.org/pdf/quant-ph/0307150.pdf" rel="nofollow">https://arxiv.org/pdf/quant-ph/0307150.pdf</a>
Interesting resource. Given that "no-cloning" [1] seems to be a fundamental property of quantum mechanics, I would expect any relevant programming language to enforce linear types i.e. "use exactly once" constraint.<p>[1]: <a href="https://quantiki.org/wiki/no-cloning-theorem" rel="nofollow">https://quantiki.org/wiki/no-cloning-theorem</a>
That's awesome! Also D-Wave uses Common Lisp[0].<p>[0]: <a href="https://cjelupton.wordpress.com/2014/08/14/quantum-computing-and-lisp/" rel="nofollow">https://cjelupton.wordpress.com/2014/08/14/quantum-computing...</a>