News for hackers. Stuff that matters.
Re:The Unsound Playground: Java and Scala's Type Systems are... by BlackFly on Sunday November 27, 2016 @03:23PM (#13051287)
Good point with the null, they have an example without the null keyword which is an even dirtier trick (because it is still null).

https://github.com/namin/unsound/blob/master/Nullless.java

There are no comments on this comment yet.