Quantum Programming Languages and Compilers

高级语言在量子编程中尤为重要，因为目前大多数语言仍处于汇编级别，需要程序员为特定的问题实例和硬件目标手工优化实现。它们也塑造了我们思考算法的方式。高级语言的另一个重要方面是，它们允许我们研究和开发用于优化低级硬件指令的编译器和技术。这个项目将探索量子编程语言的编译器堆栈。它将着眼于编程语言的不同方面，目标是产生一种更易于使用和直观的高级量子编程语言。我们将探讨编程语言和图解推理之间的联系，高级算法范例和抽象，量子程序的中间表示和不同的低级电路优化策略。所有这些都是为了开发理论和实践工具，使量子编程更容易、更高效。

Higher-level languages are especially important in quantum programming as most current languages are still at the assembly level and equire the programmer to handcraft an optimized implementation for a particular problem instance and hardware target. They also shape the way we think about algorithms. Another important aspect of high-level languages is that they allow us to research and develop compilersand techniques for optimising low-level hardware instructions. This project will explore the compiler stack for a quantum programming language. It will look at different aspects of programming languages with the goal of producing a more easy to use and intuitive high-level quantum programming language. We will explore connections between programming languages and diagramatic reasoning, high-level algorithmic paradigms and abstractions, intermediate representations for quantum programs and different low-level circuit optimisation strategies. All of this with the goal to develop both theoretical and practical tools that make quantum programming easier and more efficient.