closes bpo-33883: Mention type checkers in the FAQ. (GH-7760)

diff --git a/Doc/faq/programming.rst b/Doc/faq/programming.rst
index 53f3b7f528c065e746ea3151a94b9f291f96b4ad..fd720c1a304b0f3f5e003a8b561c6d757aeb1bd4 100644 (file)
--- a/Doc/faq/programming.rst
+++ b/Doc/faq/programming.rst
@@ -71,6 +71,11 @@ length, whether variable names are well-formed according to your coding
 standard, whether declared interfaces are fully implemented, and more.
 https://docs.pylint.org/ provides a full list of Pylint's features.
 
+Static type checkers such as `Mypy <http://mypy-lang.org/>`_,
+`Pyre <https://pyre-check.org/>`_, and
+`Pytype <https://github.com/google/pytype>`_ can check type hints in Python
+source code.
+
 
 How can I create a stand-alone binary from a Python script?
 -----------------------------------------------------------