A Functional Quantum Programming Language
dc.contributor.author | Blomqvist, Matilda | |
dc.contributor.author | Botö, Nicklas | |
dc.contributor.author | Burreau, Beata | |
dc.contributor.author | Forslund, Fabian | |
dc.contributor.author | Jörgensson, Marcus | |
dc.contributor.author | Rudsberg, Joel | |
dc.contributor.department | Chalmers tekniska högskola / Institutionen för data och informationsteknik | sv |
dc.contributor.examiner | Bove, Ana | |
dc.contributor.supervisor | Adams, Robin | |
dc.date.accessioned | 2021-09-21T09:02:00Z | |
dc.date.available | 2021-09-21T09:02:00Z | |
dc.date.issued | 2021 | sv |
dc.date.submitted | 2020 | |
dc.description.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. | sv |
dc.identifier.coursecode | TKITE | sv |
dc.identifier.uri | https://hdl.handle.net/20.500.12380/304169 | |
dc.language.iso | eng | sv |
dc.setspec.uppsok | Technology | |
dc.subject | Functional programming | sv |
dc.subject | quantum computation | sv |
dc.subject | programming language | sv |
dc.subject | linear types | sv |
dc.title | A Functional Quantum Programming Language | sv |
dc.type.degree | Examensarbete på kandidatnivå | sv |
dc.type.uppsok | M2 |