3 ms·
I would expect the conservation rules to be statically encoded in the type system.
by Sharlin 5y ago
I would expect the conservation rules to be statically encoded in the type system.
- WJW 5y agoIt should be statically typechecked of course, but especially in the quantum physics code we couldn't encode all the invariants correctly and runtime exceptions can still occur in rare occasions. A fix has been proposed and will hopefully be merged in time for the next universe release window.