| | |
Summary: A functional quantum programming language
Thorsten Altenkirch and Jonathan Grattage
School of Computer Science and IT, Nottingham University
email: {txa,jjg}@cs.nott.ac.uk
Abstract
We introduce the language QML, a functional language
for quantum computations on finite types. Its design is
guided by its categorical semantics: QML programs are
interpreted by morphisms in the category FQC of finite
quantum computations, which provides a constructive se-
mantics of irreversible quantum computations realisable as
quantum gates. QML integrates reversible and irreversible
quantum computations in one language, using first order
strict linear logic to make weakenings explicit. Strict pro-
grams are free from decoherence and hence preserve super-
positions and entanglement which is essential for quan-
tum parallelism.
1 Introduction
The discovery of efficient quantum algorithms by Shor
[18] and Grover [6] has triggered much interest in the field
|
