The Java (and Scala) type system is unsound

We, Nada Amin and Ross Tate, broke the Java and Scala type systems!

Similar

Lambda Functions in Java

Sometimes when writing software, it is useful to pass a function as an argument to another function. A common example for this is a generic filter function. In pseudo code, it would look something like this: (more…)

Read more »