Examensarbeten för kandidatexamen // Bachelor Theses
Länka till denna samling:
Browse
Browsar Examensarbeten för kandidatexamen // Bachelor Theses efter Författare "Adams, Robin"
Visar 1 - 1 av 1
Sökresultat per sida
Sortera efter
- PostA Functional Quantum Programming Language(2021) Blomqvist, Matilda; Botö, Nicklas; Burreau, Beata; Forslund, Fabian; Jörgensson, Marcus; Rudsberg, Joel; Chalmers tekniska högskola / Institutionen för data och informationsteknik; Bove, Ana; Adams, RobinThis 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.