"The Checker framework is a library that allows (advanced) developers write their own pluggable type systems, complete with inheritence, type inference and more. It also comes pre-packaged with quite a few type systems, that verify nullability, tainting, regular expressions, physical units, immutability and more." (via Not Your Father’s Java: An Opinionated Guide to Modern Java Development, Part 1)
This is so awesome! Java8 btw.



















