Build Your Own Type System for Fun and Profit

Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other runtime errors that appear during testing or in the field?
This session covers easy-to-use tools that guarantee the absence of these and many other important errors. You will learn how to create a new tool that detects and prevents other runtime errors—whatever errors are important in your own project. The tools can be applied to as much or as little of your code base as you feel appropriate. You can use them today, and Java 8's type annotations add syntactic support for them.

Copyright © 2013 Oracle and/or its affiliates. Oracle® is a registered trademark of Oracle and/or its affiliates. All rights reserved. Oracle disclaims any warranties or representations as to the accuracy or completeness of this recording, demonstration, and/or written materials (the "Materials"). The Materials are provided "as is" without any warranty of any kind, either express or implied, including without limitation warranties of merchantability, fitness for a particular purpose, and non-infringement.