Really excited to hear all the interest in collaborating on python typing docs!

To follow up, I’ve put up https://github.com/python/typing/pull/814 to create a space to iterate on and discuss.

Gathering some of the input so far, it sounds like some toplevel sections we should include are (thoughts/suggestions welcome – anything you think is missing?):

• Introduction to types in Python, friendly for new users
• Thorough, type-checker independent type system documentation
• Expand on what's in the Python docs (https://docs.python.org/3.10/library/typing.html) and encompass content like the mypy cheatsheet ( https://mypy.readthedocs.io/en/stable/cheat_sheet_py3.html).
• Common specification for all type checkers to adhere to, replacing PEP 484 and the subsequent PEPs.
• Typing best practices, and search-engine friendly documentation for common patterns and how to properly annotate them

If anyone is interested in drafting a rough table of contents as a second PR, that could be a good place to continue the discussion and then spin off into incrementally contributing/discussing some content itself. If no movement, I’ll try to put something together by end of week 😊