FURI | Spring 2019

Qurry: A Quantum Probabilistic Programming Language

Quantum programming languages are a relatively recent innovation which allows arbitrarily accurate modeling of the physical world. However, these languages are largely still in early development: any lack of true abstraction and are simply proxies to circuit languages and are hardly intuitive. There is reason for this, primarily because the desired semantics of a quantum programming language are not yet completely crystallized. This paper focuses on the creation of “lightweight abstractions,” which allow human-level understanding without sacrificing low-level control. Additionally, this project describes a framework which is meant to catalyze the development of quantum programming languages.