From: Andrés Delfino <adelfino@gmail.com>
Date: Tue, 11 Sep 2018 05:12:41 +0000 (-0300)
Subject: closes bpo-33883: Mention type checkers in the FAQ. (GH-7760)
X-Git-Tag: v3.8.0a1~1060
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=a37825418649873a0fa971dc7e5e6d142c124574;p=thirdparty%2FPython%2Fcpython.git

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

diff --git a/Doc/faq/programming.rst b/Doc/faq/programming.rst
index 53f3b7f528c0..fd720c1a304b 100644
--- 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?
 -----------------------------------------------------------