Re:Twist: MIT’s Quantum Programming Language
by krastanov on Monday February 21, 2022 @05:32PM
(#30421589)
You are right. And, practically, I probably will be using Stim much more in the next few years than this particular toy language. Same as you, I hope this toy language leads to more research in useful type theory for quantum algos.
Hey, when everyone else is falling back to "oh we just simulate the hard cases to verify them", making simulation faster is making verification better.