We, Nada Amin and Ross Tate , broke the Java and Scala type systems!Try it out for yourself by running the examples, which throw cast exceptions even though they contain no casts ↓Read our paper Java and Scala's Type Systems are Unsound to learn how these examples work →Come up with your own examples and use the save icon to update the URL to a permalink to your code ↱ Which language would you like to break?
Unsound.java in Java 8(the first program we broke Java with, derived fromlegacy.scala)
Unsound.java in Java 9(sometimes compilers incorrectly reject valid code)
Unsound9.java in Java 9(we even broke Java in the future)
UnsoundSpec.java in Java 6(incorrectly rejected unsound program that has been valid since Java 5 in 2004)
Nullless.java in Java 8(this program has no occurence of null )
SingleParameters.java in Java 8(every class and method in this program has exactly one parameter)