|
lambdaQ - a Functional Programming Language for Quantum Computing |
|
This is an ongoing project supported by the Unitary Fund.
You can follow our progress on our GitHub
project page. Being a functional language, the syntax is inspired by Haskell with added support for linear types in order to account
for the no-cloning property of quantum data. In the first iteration the code will be compiled to OpenQASM and later to the LLVM Quantum Intermediate Representation (QIR) which will enable full interoperability with multiple quantum hardware providers. The screenshots below exemplify the lambdaQ syntax:
|
|
Quantum Coin Flip:
|
|
|
Teleportation Protocol:
|
|
|
Grover's Algorithm:
|
|