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

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)

Like what you read? Give Ron Pressler a round of applause.

From a quick cheer to a standing ovation, clap to show how much you enjoyed this story.