The Unsound Playground – Breaking Java's and Scala's Type Systems

No 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.