3 ms·
Since basically every single type system has escape hatches (casts), yes, I would say completeness is more important than soundness.
by kaba0 2y ago
Since basically every single type system has escape hatches (casts), yes, I would say completeness is more important than soundness.