QCLang: A Quantum Programming Language with Affine Type Enforcement
Abhay Singh
Scholar (B. Tech) Department of Computer Science & Engineering, Shri Ramswaroop Memorial University, Deva Road, Lucknow
Aayushmaan Saksena
Scholar (B. Tech) Department of Computer Science & Engineering, Shri Ramswaroop Memorial University, Deva Road, Lucknow
Pratham Mohan
Scholar (B. Tech) Department of Computer Science & Engineering, Shri Ramswaroop Memorial University, Deva Road, Lucknow
Dr. Homa Rizvi
Assistant Professor, Scholar (B. Tech) Department of Computer Science & Engineering, Shri Ramswaroop Memorial University, Deva Road, Lucknow
📌 DOI: https://doi.org/10.63920/tjths.52015
🔑 Keywords: Quantum Programming Language, Affine Type System, No-Cloning Theorem, Compiler Design, OpenQASM, Substructural Types, Qubit Resource Management
📅 Publication Date: 07 April 2026
📜 License:
This work is licensed under a Creative Commons Attribution 4.0 International License
- Share — Copy and Redistribute the material
- Adapt — Remix, Transform, and build upon the material
- The licensor cannot revoke these freedoms as long as you follow the license terms.
Abstract:
Quantum computing is rapidly transitioning from theoretical research to practical hardware. Yet the software tools used to program quantum computers remain dangerously low-level, offering little to no protection against violations of fundamental physical laws such as the No-Cloning Theorem. This paper presents QCLang, a high-level imperative quantum programming language that enforces quantum mechanical constraints directly at compile time through an affine type system. By treating qubits as affine resources—values that may be used at most once—QCLang statically prevents illegal operations such as qubit cloning and use-after-move, ensuring that any program that successfully compiles is physically valid. We describe the theoretical foundations of affine logic, the language specification, the compiler architecture, and the translation pipeline from QCLang source code to OpenQASM. We evaluate the language against existing quantum programming frameworks and demonstrate its expressiveness through canonical quantum algorithm implementations including Quantum Teleportation and the Deutsch-Jozsa algorithm. QCLang represents a meaningful step toward safer, more developer-friendly quantum software tooling.
Download Full PDF Paper
📖 How to Cite
Abhay S., Aayushmaan S. , Pratham M., Homa R. (2026). QCLang: A Quantum Programming Language with Affine Type Enforcement. TEJAS J. Technol. Humanit. Sci.,, Vol. 05, Issue 02. https://doi.org/10.63920/tjths.52015
📊 Article Metrics
References
[1] W. K. Wootters and W. H. Zurek, “A single quantum cannot be cloned,” Nature, vol. 299, pp. 802–803, 1982.
[2] D. Dieks, “Communication by EPR devices,” Physics Letters A, vol. 92, no. 6, pp. 271–272, 1982.
[3] J.-Y. Girard, “Linear logic,” Theoretical Computer Science, vol. 50, no. 1, pp. 1–101, 1987.
[4] A. W. Cross, L. S. Bishop, J. A. Smolin, and J. M. Gambetta, “Open quantum assembly language,” arXiv:1707.03429, 2017.
[5] K. Svore et al., “Q#: Enabling scalable quantum computing and development with a high-level DSL,” in Proc. RWDSL, ACM, 2018.
[6] B. Bichsel, M. Baader, T. Gehr, and M. Vechev, “Silq: A high-level quantum language with safe uncomputation and intuitive semantics,” in Proc. 41st ACM SIGPLAN PLDI, pp. 286–300, 2020.
[7] K. Qinami and C. Abbott, “QCLang: A quantum computing language,” Undergraduate Research Report, Columbia University, 2018.
[8] J. Preskill, “Quantum computing in the NISQ era and beyond,” Quantum, vol. 2, p. 79, 2018.
[9] B. C. Pierce, Types and Programming Languages. Cambridge, MA: MIT Press, 2002.
[10] D. Walker, “Substructural type systems,” in Advanced Topics in Types and Programming Languages, MIT Press, 2005, pp. 3–43.
[11] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th ed. Cambridge: Cambridge University Press, 2010.
[12] D. Deutsch and R. Jozsa, “Rapid solution of problems by quantum computation,” Proc. Royal Society A, vol. 439, pp. 553–558, 1992.
[13] N. D. Matsakis and F. S. Klock, “The Rust programming language,” ACM SIGADA Ada Letters, vol. 34, no. 3, pp. 103–104, 2014.
[14] IBM Quantum, “Qiskit: An open-source framework for quantum computing,” 2023. [Online]. Available: Qiskit Website
[15] N. Akhtar et al., “AI-driven intelligent resume recommendation engine,” IJSRSET, vol. 12, no. 3, pp. 1141–1155, June 2025. DOI
[16] K. R. Poranki, Y. Perwej, and N. Akhtar, “Integration of SCM and ERP for competitive advantage,” Research Journal of Science & IT Management, vol. 4, no. 5, pp. 17–24, 2015.
[17] Y. Perwej, “An evaluation of deep learning miniature concerning in soft computing,” IJARCCE, vol. 4, no. 2, pp. 10–16, Feb. 2015. DOI
[18] Y. Perwej and F. Parwej, “A neuroplasticity approach to use in artificial neural network,” IJSER, vol. 3, no. 6, pp. 1–9, 2012. DOI
[19] Y. Perwej, “Bidirectional LSTM neural network based word retrieval for Arabic documents,” TMLAI, vol. 3, no. 1, pp. 16–27, 2015. DOI
[20] Y. Perwej, “Unsupervised feature learning for text pattern analysis with emotional data collection,” in Proc. IEEE ICACTA, 2022. DOI