Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing

TL;DR

The paper presents Qutes, a high-level quantum programming language designed to lower the barrier to quantum software development by abstracting low-level gate and circuit details while preserving enough flexibility for advanced applications. It describes a transpiler-based architecture that targets Qiskit, using an ANTLR-defined Python DSL, a Symbol model, and dedicated handlers for quantum circuit construction and classical-quantum type conversions, including automatic measurement when needed. The authors detail a comprehensive type system that blends classical and quantum data, enabling mixed-type programming with by-reference variables and type promotion, and demonstrate capabilities through examples such as Grover’s search and the Deutsch-Jozsa algorithm. Finally, the paper outlines a roadmap for future enhancements, including broader operator support, interoperability with QASM, a standard library, debugging tools, and improvements in uncomputation and purity management to advance practical quantum programming.

Abstract

Quantum computing leverages the principles of quantum mechanics to perform computations far beyond the capabilities of classical systems, particularly in fields such as cryptography and optimization. However, current quantum programming languages often require low-level implementation, posing significant barriers for many developers due to their steep learning curve and limited abstraction. In response, we introduce \textbf{Qutes}, a high-level quantum programming language designed to simplify quantum algorithm development while maintaining the flexibility required for advanced applications. By abstracting complex quantum operations and allowing intuitive expressions through high-level constructs, Qutes enables users to write efficient quantum programs without extensive knowledge of quantum mechanics or circuit design. Built upon Qiskit, Qutes translates its syntax directly into executable quantum code, facilitating seamless integration with quantum hardware. This paper provides an overview of the language's architecture, core functionalities, and its ability to unify classical and quantum operations within a single framework. Additionally, we demonstrate Qutes' application in key quantum algorithms, showcasing its potential to make quantum programming more accessible and practical for a wider range of developers and researchers.