3 ms·
The Unsound Playground – Breaking Java's and Scala's Type Systems
- brudgers 10y agoNo type system can be both consistent (generate only valid types) and complete (generate all possible valid type statements). That's what Godel's incompleteness means.