The Unsound Playground
OOPSLA '16
Distinguished
Artifact Award
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?
Java / Scala
class Unsound {
static class Constrain<A, B extends A> {}
static class Bind<A> {
<B extends A>
A upcast(Constrain<A,B> constrain, B b) {
return b;
}
}
static <T,U> U coerce(T t) {
Constrain<U,? super T> constrain = null;
Bind<U> bind = new Bind<U>();
return bind.upcast(constrain, t);
}
public static void main(String[] args) {
String zero = Unsound.<Integer,String>coerce(0);
}
}
#!/bin/bash
set -e -v
### PICK VERSION
export JAVA_HOME=/usr/lib/jvm/java-8-openjdk-amd64
export PATH=$JAVA_HOME/bin:$PATH
### CHECK VERSION
java -version
### COMPILE
cat $1 >Unsound.java
javac Unsound.java
### RUN
java Unsound