Or even the language. On this point: type systems are hard to get right, we know that the Java type system is unsound, even ignoring its covariant array types.

Or even the language. On this point: type systems are hard to get right, we know that the Java type system is unsound, even ignoring its covariant array types. https://news.ycombinator.com/item?id=13050491 https://news.ycombinator.com/item?id=13050491