Java 8’s new Optional type is worthless
W. Brian Gourlie
6613

As of JSR-308 Java supports pluggable type systems that are even more powerful than the static-analysis tools you’ve listed, and Oracle (the JCP, actually) supports the work done at the University of Washington on these pluggable type systems. It’s even [right there](https://docs.oracle.com/javase/tutorial/java/annotations/type_annotations.html) in the official Java tutorial by Oracle.

As to the Optional class, its goals were intentionally less ambitious than those you have ascribed to it. Brian Goetz, chief Java language architect, explains them [here](http://stackoverflow.com/a/26328555/750563)

Show your support

Clapping shows how much you appreciated Ron Pressler’s story.