Compilation to circuits?

[j6k4m8]

I have been very excited to compile my silq experiments and run on the built-in simulator. In the interest of broadening to other simulators, I wonder if there has been any work on compiling to formats such as QASM or other circuit notation formats?

I think even the ability to compile to a non-standard output format (perhaps just a list of operations) would be extremely cool.

Amazing language!!

[j6k4m8]

Reading through the qsim code, I think this may not yet be possible — happy to close this issue if you like. (I also wonder if there's an easy form of this that can be done by dropping "breadcrumbs" during simulation?)

[tgehr]

We have not worked on this yet, but in principle, it should be pretty easy to do by switching out QState and doing some sort of symbolic execution. (For a suitably restricted subset of the language, e.g., arbitrary while loops cannot be compiled to finite circuits.)

[j6k4m8]

Very cool — good to know! I maaaaay look into this, but I think it's probably over my head. Thank you for the info!