Comment by slver
5 years 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".
5 years 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".
There 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.