This library excites me! As a physics undergrad I read Nielsen & Chuang with my friends, for me quantum computation was best clue of understanding quantum mechanics. Allow me to make a comment, or, a tl;dr question... Would you elaborate "Quipper is scalable" ? 2013/6/20 Alexander Green <alexander.s.green@gmail.com>
Dear Haskellers,
we are proud to announce the first public release of Quipper, an embedded, scalable functional programming language for quantum computing. The Quipper distribution is available here:
http://www.mathstat.dal.ca/~selinger/quipper/
and includes extensive documentation, as well as seven worked examples of non-trivial quantum algorithms from the literature.
Quipper is embedded in Haskell and makes use of many advanced features of the GHC Glasgow Haskell Compiler. Here are some highlights:
* High-level circuit description language, including both gate-by-gate descriptions and powerful higher-order operators for assembling and manipulating circuits.
* A monadic semantics, allowing for a mixture of procedural and declarative programming styles.
* Built-in facilities for automatic synthesis of reversible quantum circuits, including from classical Haskell code.
* Support for hierarchical circuits.
* Extensible quantum data types.
* Programmable circuit transformers
* Support for a dynamic lifting operation to allow circuit generation to depend on parameters generated at circuit execution time.
* Extensive libraries of quantum functions, including: libraries for quantum integer and fixed-point arithmetic; the Quantum Fourier transform; an efficient Qram implementation; libraries for simulation of pseudo-classical circuits, Stabilizer circuits, and arbitrary circuits; libraries for exact and approximate decomposition of circuits into specific gate sets.
Comments are welcome!
Alexander S. Green Peter LeFanu Lumsdaine Neil Julien Ross Peter Selinger Benoit Valiron
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
-- Takayuki MURANUSHI The Hakubi Center for Advanced Research, Kyoto University http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/muranushi.html