> does this mean that there's a possibility that Cython itself could be annotated?
Currently Cython optionally compiles itself, using types given in .pxd files (and whatever it can infer, of course). The .pxd files a bit of a pain to maintain because they aren't close to the code and it's easy to forget they are there. It also sparsely uses @cython.declare-type compiler directives.
Annotations would be a nice way of adding typing information to Cython, but I don't think they add anything that we can't already do. Right now most of it isn't typed (just because it isn't numeric code, so doesn't really benefit) and that'd probably the case even with annotations.
I expect annotations will be slowly added to new/modified code whenever they're helpful for either speed or readability. Hopefully no-one will go through ExprNodes.py and annotate every variable in one enormous change. (But also I'm a bit biased against "complex" annotations at least - I can see the point of `typing.Optional`, but `typing.Union` is where I start to get sceptical).
Cython 3.1 is still a little way off of course.
David