Bloch: a strongly typed, hardware-agnostic, hybrid quantum programming language

Read full text
Authors: Akshay Pal
Cited by: 0
References: 4

Abstract

Bloch is a modern quantum programming language and interpreter designed to feel familiar to systems developers while remaining hardware-agnostic.The project combines a statically typed surface language, a semantic analyser that guards against classical/quantum misuse before execution, and an interpreter that emits OpenQASM traces and aggregates multi-shot measurement results.Bloch supports classical control flow, deterministic resource management, and first-class annotations such as @quantum (to delineate quantum code) and @tracked (to stream measurements into probability tables).The language is implemented in C++20, ships with a comprehensive test suite, and is licensed under Apache-2.0to encourage adoption in research and industrial workflows.By pairing static semantics with vendor-neutral QASM emission, Bloch targets the gap between dynamically typed Python-first SDKs (e.g., Qiskit and Cirq (Cirq Developers, 2023; Qiskit contributors, 2023)) and vendor-specific languages while keeping a single-binary, non-Python toolchain.

Fields of Study & Subjects

Quantum Computing Algorithms and Architecture Logic programming and type systems Parallel Computing and Optimization Techniques

Publication details

Journal / source
The Journal of Open Source Software
Volume
11
Issue
117
Pages
9625–9625
Publication date
29 January 2026