3 ms·
I am now visualizing this as a series of assert() statements that abort particle action when a constraint is not met.
by gpvos 5y ago
I am now visualizing this as a series of assert() statements that abort particle action when a constraint is not met.
- Sharlin 5y agoI 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.