|
|
|
|
|
|
by Daishiman
113 days ago
|
|
|
It's actually a fairly frequent fact of programming language development that type resolution can change across versions. Haskell famously has a ton of extensions that enhance the type system in various, potentially incompatible ways. In fact the question of whether a code type-checks is itself undecidable. |
|
|