Thanks！Your answer inspired me a lot.
I have another question:
Different tools discover, classify and report defects in different ways.
For the same code segment, some type checking tools may report defects while others do not.
These may confuse Python developers who use type annotations and diffenrent checking tools.
Does Python plan to provide a new official type checking tool，
or list an off-the-shelf type checking tool as the recommended and official one?
I hope my idea is helpful for you.