17 ms·
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 p
by valenterry 5y ago
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.