Qumin，一种极简量子程序设计语言
Qumin, a minimalist quantum programming language
摘要：
在这项工作中，我们介绍Qumin，一种新的量子程序设计语言，重点是提供一个易于使用的，极简的，高层次的，易于扩展的平台，量子编程。Qumin的设计集中于通过使用两种子语言来涵盖经典和量子计算之间的各种交互：一种是处理经典准备和控制的非类型子语言，另一种是显式处理量子例程的线性类型子语言。这使得语言的经典部分可以自由地用于一般编程，同时对量子部分施加限制，以执行量子计算的规则，如量子比特的不可克隆。我们描述了语言的理论基础，在lambda演算和线性类型系统方面，以及更实际的问题，如算法和有用的编程工具，如矩阵和Oracle生成器，简化了程序的经典和量子片段的相互作用的实现。最后，我们提供了一个实验性的开源实现的解释器，typechecker和相关工具的语言（可以在\url{https://github.com/wintershammer/QImp}中找到）。
英文摘要：
In this work we introduce Qumin, a novel quantum programming language with a focus on providing an easy to use, minimalist, high-level, and easily extensible platform for quantum programming. Qumin's design concentrates on encompassing the various interactions between classical and quantum computation via the use of two sublanguages: an untyped one that handles classical preparation and control, and one linearly typed that explicitly handles quantum routines. This allows the classical part of the language to be freely used for general programming while placing restrictions on the quantum part that enforce rules of quantum computing like the no-cloning of qubits. We describe both the language's theoretical foundations in terms of lambda calculi and linear type systems, and more practical matters such as implementations of algorithms and useful programming tools like matrix and oracle generators that streamline the interaction of the classical and quantum fragments of a program. Finally, we provide an experimental open-source implementation of an interpreter, typechecker and related tools for the language (which can be found in \url{https://github.com/wintershammer/QImp}).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
