2 ms·
Illegal operation doesn't seem like an explicit enough definition. I'm not knowledgeable about type systems, but I figured a type system would be sound if there
by plaguuuuuu 10y ago
Illegal operation doesn't seem like an explicit enough definition. I'm not knowledgeable about type systems, but I figured a type system would be sound if there's no way to construct code where the result is undefined.