Type annotations in Java 8. И почему это хорошо

Что нового появилось в Java, относящегося к аннотациям? Изменения языка, которые не выглядят такими значительными, как изменения, связанные с Lambda, в то же время являются очень важными для уменьшения количества ошибок в коде на этапе разработки. В докладе мы рассмотрим функциональность, встроенную в язык Java, The Checkers Framework и далее, вплоть до написания собственных проверок в терминах бизнес логики!