“Once we accept our
limits, we go beyond them.”
Quantum programming offers a unique framework for expressing quantum systems as computer programs, which can have a major impact on machine learning. Quantum information processing devices, like their classical counterparts, should be programmed in high-level, structured and well-defined languages. Quantum machine learning systems implement complex and delicate protocols, and need to be programmed in systematic and principled ways.
Widespread use of programming languages that does not have a firm semantic foundation has caused huge problems for software engineering in the past. As such, designing quantum programming languages before the hardware exists is ideal. Finally, the application of semantic, logical and category-theoretic techniques can provide a new perspective on quantum theory itself.