Java type annotations, multi-precision

[Ola Fosheim Grøstad" <ola.fosheim.grostad+dlang at gmail.com>]

On Sunday, 9 February 2014 at 16:23:50 UTC, Francesco Cattoglio 
wrote:
> Wow, they are totally coping! :P Jokes aside, now I wonder: 
> what language introduced type anotation first?

Probably some CASE tool 20-30 years ago or so.