From the PLT mailing list.
The simulator relies on a "quantum" version of McCarthy's
nondeterministic "amb" operator.
Our version, called quamb, keeps track of a complex amplitude for each
history in the quamb-tree, enabling the computation to branch into a
"quantum superposition" of computations. There is a macro called
quantum-eval, which performs the quantum mechanical sum over histories.
Quantum computation languages were discussed here several times in the past. This one looks cute.
Posted to general by Ehud Lamm on 8/6/03; 6:00:05 AM