closes bpo-33883: Mention type checkers in the FAQ. (GH-7760)
diff --git a/Doc/faq/programming.rst b/Doc/faq/programming.rst
index 53f3b7f..fd720c1 100644
--- a/Doc/faq/programming.rst
+++ b/Doc/faq/programming.rst
@@ -71,6 +71,11 @@
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?
-----------------------------------------------------------