A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

05/17/2020
by   Peng Fu, et al.
0

We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an experimental quantum circuit programming language with linear dependent types. We give several examples to illustrate how linear dependent types can help in the construction of correct quantum circuits. Specifically, we show how dependent types enable programming families of circuits, and how dependent types solve the problem of type-safe uncomputation of garbage qubits. We also discuss other language features along the way.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset