Document how to test type annotations (#1071)

This is a slightly broader refactor than just testing. It also
consolidates information about checking type coverage/completeness.

This originates from a thread on the mypy tracker [1]. In terms of
presentation, the goal is to present guidance and offer up several
options, many of which were proposed by contributors to that thread.

Several of the goals from that thread were not achieved here,
including documentation covering stubgen and monkeytype, stubtest, and
potentially more. However, the document is written such that it should
be possible to add a section on "Generating Annotations" as was
planned earlier.

[1]: https://github.com/python/mypy/issues/11506
3 files changed
tree: 5230eea7a2b520b65d14171d2cabccb60946f637
  1. .github/
  2. docs/
  3. scripts/
  4. typing_extensions/
  5. .editorconfig
  6. .flake8
  7. .flake8-tests
  8. .gitignore
  9. CONTRIBUTING.md
  10. LICENSE
  11. README.md
  12. test-requirements.txt
README.md

Chat at https://gitter.im/python/typing

Static Typing for Python

Documentation and Support

The documentation for Python's static typing can be found at typing.readthedocs.io. You can get help either in our support forum or chat with us on Gitter.

Improvements to the type system should be discussed on the typing-sig mailing list, although the issues in this repository contain some historic discussions.

Repository Content

This GitHub repository is used for several things:

Historically, this repository hosted a backport of the typing module for older Python versions. The last released version, supporting Python 2.7 and 3.4, is available at PyPI.

Workflow

See CONTRIBUTING.md for more.