Functional Quantum Programming
Shin-Cheng Mu, Richard S. Bird · 2001
It has been shown that non-determinism, both angelic and demonic, can be encoded in a functional language in different representation of sets. In this paper we see quantum programming as a special kind of non-deterministic programming where negative probabilities are allowed. The point is demonstrated by coding two simple quantum algorithms in Haskell. A monadic style of quantum programming is also proposed. Pro-grams are written in an imperative style but the programmer is encour-aged to think in terms of values rather than quantum registers. 1