Quantum programming is a set of computer programming languages that allow the expression of quantum algorithms using high-level constructs.

Efforts are underway to develop functional programming languages for quantum computing. Examples include Selinger's QPL http://www.mathstat.dal.ca/~selinger/papers/#qpl, and the Haskell-like language QML by Altenkirch and Grattage http://www.cs.nott.ac.uk/~jjg/qml.htmlhttp://sneezy.cs.nott.ac.uk/qml. Higher-order quantum programming languages, based on lambda calculus, have been proposed by van Tonder http://epubs.siam.org/SICOMP/volume-33/art_43216.html and by Selinger and Valiron http://www.mathstat.dal.ca/~selinger/papers/#qlambda.

Simon Gay's Quantum Programming Languages Survey has more information on the current state of research and a comprehensive bibliography of resources. http://www.dcs.gla.ac.uk/~simon/quantum

References