[Paper Review] A Survey of Quantum Programming Languages: History, Methods, and Tools

Donald Sofge|ArXiv.org|Apr 7, 2008

Quantum Computing Algorithms and Architecture32 references4 citations

TL;DR

This 2008 survey provides a comprehensive overview of quantum programming languages as of late 2007, tracing their historical development, analyzing core programming methods, and evaluating emerging tools. It synthesizes multidisciplinary research in quantum computing, programming languages, and logic to identify key challenges and recommend future directions for quantum programming language design and tooling.

ABSTRACT

Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lambda calculi, and linear logic), and engineering attempts to build the first non-trivial quantum computer. This paper briefly surveys the history, methods, and proposed tools for programming quantum computers circa late 2007. It is intended to provide an extensive but non-exhaustive look at work leading up to the current state-of-the-art in quantum computer programming. Further, it is an attempt to analyze the needed programming tools for quantum programmers, to use this analysis to predict the direction in which the field is moving, and to make recommendations for further development of quantum programming language tools.

Motivation & Objective

• To document the historical evolution of quantum programming languages from 1990s foundational work to 2007 state-of-the-art.
• To analyze the methodological approaches used in quantum programming, including quantum circuit models, quantum lambda calculi, and linear logic-based formalisms.
• To evaluate proposed tools and environments for quantum programming, assessing their capabilities and limitations.
• To identify gaps in current tooling and recommend improvements for future quantum programming language development.
• To predict the trajectory of quantum programming language research based on emerging trends and technical needs.

Proposed method

• Conducting a literature review of quantum programming languages published up to late 2007, focusing on seminal works and emerging frameworks.
• Categorizing quantum programming languages by their underlying formalisms, such as quantum circuit-based languages, quantum lambda calculi, and linear logic-based systems.
• Analyzing the design principles and semantics of representative languages, including QPL, QML, and Q Language.
• Evaluating tools such as quantum simulators, compilers, and verification environments for their support of quantum algorithm implementation.
• Using a multidisciplinary lens integrating quantum computing, programming language theory, and mathematical logic to assess language expressiveness and correctness.
• Synthesizing insights into a framework for identifying key requirements for next-generation quantum programming tools.

Experimental results

Research questions

• RQ1 What are the major historical milestones and foundational works that shaped the development of quantum programming languages?
• RQ2 How do different formalisms—such as quantum circuits, lambda calculi, and linear logic—contribute to the design and semantics of quantum programming languages?
• RQ3 What tools and environments were available in 2007 for implementing and verifying quantum programs, and how effective were they?
• RQ4 What common limitations or gaps exist in the tooling and language design of early quantum programming languages?
• RQ5 What trends and requirements can be identified to guide the future development of quantum programming languages and their supporting ecosystems?

Key findings

• Quantum programming languages emerged from interdisciplinary research combining quantum computing, programming language theory, and mathematical logic, with foundational work dating back to the mid-1990s.
• Key formalisms such as quantum circuits, quantum lambda calculi, and linear logic-based systems provided distinct but complementary approaches to modeling quantum computation.
• By 2007, several prototype languages and tools—such as QPL, QML, and quantum simulators—had been developed, though they lacked full integration and industrial-scale support.
• A major limitation identified was the absence of high-level abstractions and formal verification tools, which hindered reliable quantum program development.
• The survey concluded that future quantum programming tools must support compositionality, type safety, and formal verification to ensure correctness.
• The field was poised for growth, with increasing convergence between quantum algorithm design and programming language engineering, suggesting a need for standardized, extensible language frameworks.