Is Productivity in Quantum Programming Equivalent to Expressiveness?
Francini Corrales-Garro, Danny Valerio-Ramírez, Santiago Núñez-Corrales
TL;DR
The paper investigates whether productivity in quantum programming equates to expressiveness by comparing hosted (Qiskit, Cirq, Qrisp, quAPL) and standalone (Q#, Qmod) languages through four foundational algorithms (Deutsch-Jozsa, Bernstein-Vazirani, Simon, Grover). It adopts LOC, Cyclomatic Complexity (CC), and Halstead Complexity (HC) as proxies for expressiveness and productivity, with HC metrics formalized as $n=n_1+n_2$, $N=N_1+N_2$, $V=N\log_2 n$, $D=(n_1/2)(N_2/n_2)$, and $E=D\cdot V$. The results show distinct trade-offs across languages: some provide high-level abstractions with lower CC/LOC (e.g., Qmod) while others exhibit higher structural complexity (e.g., Cirq, Q#), indicating that expressiveness does not translate directly to productivity. The findings highlight the need for a multifaceted evaluation that combines quantitative complexity metrics with qualitative measures to guide quantum-language design and future tooling. Overall, expressiveness and productivity are related but not interchangeable, and language design should aim to balance abstract expressiveness with cognitive and lexical manageability.
Abstract
The expressiveness of quantum programming languages plays a crucial role in the efficient and comprehensible representation of quantum algorithms. Unlike classical programming languages, which offer mature and well-defined abstraction mechanisms, quantum languages must integrate cognitively challenging concepts such as superposition, interference and entanglement while maintaining clarity and usability. However, identifying and characterizing differences in expressiveness between quantum programming paradigms remains an open area of study. Our work investigates the landscape of expressiveness through a comparative analysis of hosted quantum programming languages such as Qiskit, Cirq, Qrisp, and quAPL, and standalone languages including Q# and Qmod. We focused on evaluating how different quantum programming languages support the implementation of core quantum algorithms -- Deutsch-Jozsa, Simon, Bernstein-Vazirani, and Grover -- using expressiveness metrics: Lines of Code (LOC), Cyclomatic Complexity (CC), and Halstead Complexity (HC) metrics as proxies for developer productivity. Our findings suggest that different quantum programming paradigms offer distinct trade-offs between expressiveness and productivity, highlighting the importance of language design in quantum software development.