 Toward an architecture for quantum programming
started 4/3/2003; 7:33:10 PM - last post 4/6/2003; 6:06:12 PM
|
|
Michael Vanier - Toward an architecture for quantum programming 
4/3/2003; 7:33:10 PM (reads: 1649, responses: 3)
|
|
|
|
David B. Wildgoose - Re: Toward an architecture for quantum programming
4/3/2003; 10:56:11 PM (reads: 609, responses: 0)
|
|
|
Spooky. I only discovered this paper last night, completely independently, having done a search for the "Q" programming language thanks to a mention on comp.lang.functional. Quantum entanglement? :-)
One thing that struck me was that the examples given use an imperative programming style, whereas I would have assumed that quantum programming would more naturally lend itself to a functional language in which state is removed as far as possible, or possibly a logic/constraint language like Oz which could make better use of its ability to do parallel searches through an enormous number of super-positions.
|
|
Dave Herman - Re: Toward an architecture for quantum programming
4/4/2003; 5:04:59 AM (reads: 572, responses: 0)
|
|
|
I had a similar reaction: I wonder if some of the process calculi out there might apply? I don't know anything about quantum computing, but on following links and skimming sites I started thinking about things like the pi-calculus, which allows for non-determinism through parallel composition of processes.
e.g.,
@incollection{ milner93polyadic,
author = "R. Milner",
title = "The polyadic pi-calculus: a tutorial",
booktitle = "Logic and Algebra of Specification",
publisher = "Springer-Verlag",
editor = "F. L. Bauer and W. Brauer and H. Schwichtenberg",
pages = "203--246",
year = "1993",
url = "citeseer.nj.nec.com/milner91polyadic.html" }
|
|
Darius Bacon - Re: Toward an architecture for quantum programming
4/6/2003; 6:06:12 PM (reads: 504, responses: 0)
|
|
|
Quantum computing doesn't have much to do with that sort of nondeterminism, at least as long as nobody discovers that P=NP for quantum computers... perhaps you could build a high-level quantum language around data parallelism, though.
I skimmed this paper and it looks like they're doing the same sort of thing as the digital circuits system in SICP, only with C++ and quantum gates.
|
|
|
|