Open rht opened 9 months ago
Hi,
Its not so much that a single file is supporting the no-cloning stuff. Rather it's that qubit registers are tied to handles which don't support copy or clone, so the user is forced to only ever have a single handle to a given qubit. The upshot of this restriction is that it enforces the order of unitary gates. You cannot, for example, have two references to a single qubit before a unitary is applied, you cannot "clone" the state before the gate.
o/ I am currently figuring out how to do Birkhoff-von Neumann quantum logic operation in a quantum circuit, and found that the linear type (a subset of linear logic) has already been manifested in Rust, in particular in its borrow checker. I am looking for an advice / resource recommendation on:
Another interpretation of linear logic, is to be considered as a 2-player game, as can be found in [2]
[1] https://arxiv.org/abs/1210.0613 [2] https://ncatlab.org/nlab/show/linear+logic#game_semantics_2