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

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?
 -----------------------------------------------------------