Quantum Arrows in Haskell
Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry · Electronic Notes in Theoretical Computer Science · 2008
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and classical worlds. We discuss two alternative models for general and complete quantum computations based on probability distributions of quantum state vectors and on density matrices with classical outputs. We show that both models can be structured using a generalization of monads called arrows.