News for hackers. Stuff that matters.

A comment on A lambda calculus for quantum computation.

Re:A lambda calculus for quantum computation by naasking on Saturday March 31, 2018 @08:26AM (#16723002)
A brief survey of quantum programming languages, http://lambda-the-ultimate.org/node/1618

A functional quantum programming language, http://lambda-the-ultimate.org/node/251

A Quantum Lambda Calculus, http://lambda-the-ultimate.org/node/3769

[ Parent | on HN ]
Re:A lambda calculus for quantum computation by vtomole on Saturday March 31, 2018 @12:15PM (#16723857)
That survey was written over 10 years ago. The field of quantum computation has grown by leaps and bounds since then. Modern quantum programming languages like pyQuil [0], Qiskit [1], and Q# [2] are designed to address the progress of quantum computing; like the fact that we now have small devices with 10s of qubits.

[0]: http://pyquil.readthedocs.io/en/latest/

[1]: https://www.qiskit.org/

[2]: https://docs.microsoft.com/en-us/quantum/quantum-qr-intro?vi...

[ Parent | on HN ]
Re:A lambda calculus for quantum computation by adamisntdead on Saturday March 31, 2018 @01:21PM (#16724169)
There is an abundance of tools for reasearchers now, each with specific purposes. Libraries such as libquantum have different uses to libraries such as qiskit.
[ Parent | on HN ]
Re:A lambda calculus for quantum computation by vtomole on Saturday March 31, 2018 @03:57PM (#16724874)
Could you give me an example of different use cases for libquantum vs qiskit? Thanks.
[ Parent | on HN ]