A Functional Quantum Programming Language
Ladda ner
Typ
Examensarbete på kandidatnivå
Program
Publicerad
2021
Författare
Blomqvist, Matilda
Botö, Nicklas
Burreau, Beata
Forslund, Fabian
Jörgensson, Marcus
Rudsberg, Joel
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
This thesis presents a functional quantum programming language, funQ,
modeled after a typed quantum lambda calculus [1]. The language funQ
is implemented as an external domain-specific language in Haskell with a
complementing parser, type checker, and interpreter. The type checker is
defined with a linear type system – meaning that data cannot be copied –
to prevent the physically impossible event of duplication of quantum data.
The interpreter uses call-by-value semantics and is connected to a quantum
computation library developed to perform the quantum operations with a
built-in quantum computer simulator. The language is complemented with a
command line tool that can execute funQ programs interactively or run funQ
program files. The project successfully implemented a functional quantum
programming language with slight modifications in regards to the modeled
language.
Beskrivning
Ämne/nyckelord
Functional programming , quantum computation , programming language , linear types