From 6ae2da9bf26eb97bacab8c523f590457f46ae1dc Mon Sep 17 00:00:00 2001 From: hauntsaninja Date: Tue, 26 Sep 2023 00:24:43 -0700 Subject: [PATCH] should --- docs/source/typing_anti_pitch.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/typing_anti_pitch.rst b/docs/source/typing_anti_pitch.rst index 76a7fff8f..59c9f32bd 100644 --- a/docs/source/typing_anti_pitch.rst +++ b/docs/source/typing_anti_pitch.rst @@ -11,7 +11,7 @@ In the words of :pep:`484`:: The idea that dynamism in Python is a strength of the language is reflected in the fact that Python's type system is gradual. See :pep:`483` for details, but the long and short of this is that you can add static types to your codebase only to the extent that you want to, and static -type checkers are designed to be able to put up with this. +type checkers and other tools should be able to put up with this. It's also worth noting that "static type checking" encompasses a spectrum of possible degrees of strictness. On the one hand, you can set yourself up so that your type checker does almost nothing.