A Functional Quantum Programming Language

Abstract

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.