Re: Idea for @annotations

[bearophile]

%u:

> An idea for a potential use of annotations:

In my mind the main purpose of user-defined annotations is to allow the user to 
write small (scoped) extensions to the type system.
But Python-style annotations too are useful.

Bye,
bearophile