A set of Java annotations which can be used in JVM-based languages. They serve as an additional documentation and can be interpreted by IDEs and static analysis tools to improve code analysis.

The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...