This is a big milestone reached for that project. Let's hope it'll drive adoption up.

Interesting examples where the Python type hints are used. This still needs improvements but it's clearly improving.

This is good news, this provide more venues for improving performances in Python modules next to switching to compiled Rust with something like PyO3. There's clearly a case to be more for not having to rewrite when the codebase was already mostly Python.

A good reminder that it's not all rosy with Python type-hints. There's definitely room for improvements.

Type annotations become quickly complex with Python. This is in part because it's rolled out incrementally on top or existing practices. Here it collides a bit with decorators. Nice to see this hole is getting plugged though. Also nice to discover an alternative to mypy which seems a bit more precise (at least for the time being).

This explains quite well why I liked to have type information in my code bases. This also shows a few interesting bits of mypy use.

Oh totally missed that Python 3.8 introduced protocols. Now that makes mypy very useful, I was slightly concerned at how strict interfaces tended to be with nominal types.