Quantum programming made easy

11/02/2017

∙

by   Luca Paolini, et al.

∙

0

∙

share

We introduce the functional language IQu ("Haiku") which, under the paradigm "quantum data & classical control" and in accordance with the model QRAM, allows to define and manipulate quantum circuits also by means of intermediate and partial measurement. Idealized Algol is the reference for the design of IQu. We extend the type system of Idealized Algol for typing both quantum-registers, i.e. the stores of quantum states, and quantum-circuits. The types for quantum-registers do not make any reference to linear logic formulas and are parametric on the dimension of the quantum-registers they are type of. IQu operates on quantum circuits as they were classical data so no restriction exists on their duplication. Concerning programming, we show the potential effectiveness of IQu by encoding well known quantum algorithms in it.