Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Compiler for a Functional Quantum Programming

Summary: Chapter 1
A Compiler for a Functional
Quantum Programming
Jonathan Grattage and Thorsten Altenkirch
Abstract: We introduce a compiler for the functional quantum programming
language QML [1], developed in Haskell. The compiler takes QML expressions
as input and outputs a representation of quantum circuits (via the category FQC of
finite quantum computations) which can be simulated by the simulator presented
here, or by using a standard simulator for quantum gates. We discuss the structure
of the compiler and how the semantic rules are compiled.
Quantum programming is now a firmly established field; see recent text books
as an example [2, 4] However, quantum programs are usually presented as low
level quantum gates. There are a number of proposals as to how best to integrate
quantum effects in a high level language, [5, 6, 7, 9], but none of them introduce
high level structures for quantum control and quantum data. In our previous paper
we introduced the language QML [1] which realizes quantum control structures
acting on quantum data, and which can, in principle, be translated in quantum
circuits. This paper explains in detail how a compiler, which translates QML


Source: Altenkirch, Thorsten - School of Computer Science, University of Nottingham


Collections: Computer Technologies and Information Sciences