Following the mypy type annotations discussions with interest. Devil's in the details though, I think it will end up just an editor hint.
miniblog.
Related Posts
PYPL: PopularitY of Programming Language https://pypl.github.io/PYPL.html is a nice PL metrics tracker that's an alternative to TIOBE.
It has a clear methodology and it carefully chooses keywords to avoid e.g. Python metrics being affected by interest in snakes.