[Todos] Fwd: categories: Quipper: a quantum programming language

Eduardo J. Dubuc edubuc en dm.uba.ar
Jue Jun 20 13:26:18 ART 2013


A alguno de estas 3 listas le puede interesar. Saludos  e.d.

-------- Original Message --------
Subject: categories: Quipper: a quantum programming language
Date: Wed, 19 Jun 2013 16:40:16 -0300 (ADT)
From: selinger en mathstat.dal.ca (Peter Selinger)
Reply-To: selinger en mathstat.dal.ca (Peter Selinger)
To: categories en mta.ca (Categories List)

Dear Category Theorists,

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. 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 (that are essentially monoidal
    functors).

* 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 quantum random access memory 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


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


Más información sobre la lista de distribución Todos