From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7777 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= Newsgroups: gmane.science.mathematics.categories Subject: RE: Quipper: a quantum programming language Date: Thu, 20 Jun 2013 13:34:55 -0400 Message-ID: References: Reply-To: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1371761190 19793 80.91.229.3 (20 Jun 2013 20:46:30 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 20 Jun 2013 20:46:30 +0000 (UTC) To: "Peter Selinger" , "Categories List" Original-X-From: majordomo@mlist.mta.ca Thu Jun 20 22:46:32 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UplkV-0003Jn-3F for gsmc-categories@m.gmane.org; Thu, 20 Jun 2013 22:46:31 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36062) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Uplj6-0006y4-0b; Thu, 20 Jun 2013 17:45:04 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Uplj6-0007ML-9s for categories-list@mlist.mta.ca; Thu, 20 Jun 2013 17:45:04 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7777 Archived-At: Dear Peter, I would like to ask you a naive question: Is it runned on an actual quantum computer? Best, Andr=E9 -----Original Message----- From: Peter Selinger [mailto:selinger@mathstat.dal.ca] Sent: Wed 6/19/2013 3:40 PM To: Categories List Subject: categories: Quipper: a quantum programming language =20 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/ ]