Java type annotations, multi-precision

[Francesco Cattoglio]

On Sunday, 9 February 2014 at 15:38:24 UTC, bearophile wrote:
> Two unrelated things found recently on Reddit:
>
> In Java 8 they have added type annotations:
> http://www.mscharhag.com/2014/02/java-8-type-annotations.html

Wow, they are totally coping! :P Jokes aside, now I wonder: what 
language introduced type anotation first?