<div dir="ltr"><div>Dear Haskellers,<br><br>we are proud to announce the first public release of Quipper, an <br>embedded, scalable functional programming language for quantum <br>computing. The Quipper distribution is available here:<br>

<br><a href="http://www.mathstat.dal.ca/~selinger/quipper/" target="_blank">http://www.mathstat.dal.ca/~selinger/quipper/</a><br><br>and includes extensive documentation, as well as seven worked examples <br>of non-trivial quantum algorithms from the literature.<br>

<br>Quipper is embedded in Haskell and makes use of many advanced <br>features of the GHC Glasgow Haskell Compiler. Here are some highlights:<br><br>* High-level circuit description language, including both gate-by-gate<br>

  descriptions and powerful higher-order operators for assembling and<br>  manipulating circuits.<br><br>* A monadic semantics, allowing for a mixture of procedural and<br>  declarative programming styles.<br><br>* Built-in facilities for automatic synthesis of reversible quantum<br>

  circuits, including from classical Haskell code.<br><br>* Support for hierarchical circuits.<br><br>* Extensible quantum data types.<br><br>* Programmable circuit transformers<br><br>* Support for a dynamic lifting operation to allow circuit generation<br>

  to depend on parameters generated at circuit execution time.<br><br>* Extensive libraries of quantum functions, including: libraries for<br>  quantum integer and fixed-point arithmetic; the Quantum Fourier<br>
  transform; an efficient Qram implementation; libraries for<br>  simulation of pseudo-classical circuits, Stabilizer circuits, and<br>  arbitrary circuits; libraries for exact and approximate<br>  decomposition of circuits into specific gate sets.<br>
<br></div>Comments are welcome!<br><div>
<br>Alexander S. Green<br>Peter LeFanu Lumsdaine<br>Neil Julien Ross<br>Peter Selinger<br>Benoit Valiron<br><br></div></div>