Java 8 introduced JSR-308, which added new annotation capabilities to the Java language. Most importantly: Type annotations. It is now possible to design monsters like the below: The only thing crazier than annotations are type annotations. On arrays. Who thinks this is valid Java code? pic.twitter.com/M9fSRRerAD — Lukas Eder (@lukaseder) March 20, 2016 The code … Continue reading JSR-308 and the Checker Framework Add Even More Typesafety to jOOQ 3.9