3 ms·
> It shows that is important to take soundness of type-systems serious. Does it show that? I see it more like a set of examples demonstrating there's no such t
by slver 5y ago
> It shows that is important to take soundness of type-systems serious.
Does it show that? I see it more like a set of examples demonstrating there's no such thing as "a sound type system".
- valenterry 5y agoThere is difference between bugs that make a type-system unsound and the actual fundamental design / specification that makes it unsound. The former is easily possible but also easy to fix. The latter is sometimes impossible to fix without breaking compatibility to a degree that makes it impossible to do so.