An Introduction to Quantum Programming in Quipper

TL;DR

This paper introduces Quipper, a quantum programming language, demonstrating its features through examples like quantum teleportation, Fourier transform, and addition circuits, to facilitate quantum algorithm development.

Contribution

It provides a tutorial introduction to Quipper, showcasing its capabilities with practical quantum computation examples, which is a novel educational resource.

Findings

Quipper effectively expresses complex quantum algorithms.

The language supports key quantum operations like teleportation and Fourier transform.

It serves as a practical tool for quantum programming education.

Abstract

Quipper is a recently developed programming language for expressing quantum computations. This paper gives a brief tutorial introduction to the language, through a demonstration of how to make use of some of its key features. We illustrate many of Quipper's language features by developing a few well known examples of Quantum computation, including quantum teleportation, the quantum Fourier transform, and a quantum circuit for addition.