From c9ece5f4a961d4963ed42aefa934eb20f9a7222b Mon Sep 17 00:00:00 2001
From: "Miss Islington (bot)"
 <31488909+miss-islington@users.noreply.github.com>
Date: Mon, 10 Sep 2018 22:27:00 -0700
Subject: [PATCH] closes bpo-33883: Mention type checkers in the FAQ. (GH-7760)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

(cherry picked from commit a37825418649873a0fa971dc7e5e6d142c124574)

Co-authored-by: Andrés Delfino <adelfino@gmail.com>
---
 Doc/faq/programming.rst | 5 +++++
 1 file changed, 5 insertions(+)

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