GUPPY: Pythonic Quantum-Classical Programming
summary
Guppy implements a Python-embedded DSL that compiles high-level hybrid quantum-classical programs (including mid-circuit measurement and true classical control flow) into an executable IR, not by tracing Python but by parsing and type-checking code. It enforces linear qubit types to catch reuse errors, supports linear-safe lists and comprehensions, shows a concrete repeat-until-success loop example, interoperates with Python data (networkx) and classical circuit builders, and lowers to the Hager IR then to QIR/LLVM; execution currently targets simulators while hardware backends are being developed.
AI-written summary · about
chapters (9)
- 0:00GUPPY introduction
- 3:54What GUPPY offers as a quantum programming language
- 8:12Repeat-until-success in GUPPY
- 10:44Type safety in GUPPY
- 13:53Classical data in GUPPY
- 15:17Python interoperability
- 16:42Compilation pipeline
- 18:50Future research
- 19:36Q&A
related talks
26mQrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantu...
17mQVM: Quantum Gate Virtualization Machine
30mDependently Typed Quantum Programming in Proto-Quipper
15mToward A Quantum Programming Language for Higher Level Formal Verification
17mQuantum Applications with Classiq
16mCompiling and Running High-level Quantum Programs
16mGeqo - A Sovereign End-to-End Software to Design, Build and Execute Quantum Programs
24mQunity: A Unified Language for Quantum and Classical Computing