Skip to content

Commit 4a3a6eb

Browse files
committed
ecosystem
1 parent b2a0598 commit 4a3a6eb

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

docs/source/typing_anti_pitch.rst

+5-4
Original file line numberDiff line numberDiff line change
@@ -47,10 +47,11 @@ in Python::
4747
`allow gradual adoption of static type checking <https://mypy.readthedocs.io/en/stable/existing_code.html>`_,
4848
the total cost of adding type annotations to a large extant codebase can be prohibitive.
4949

50-
* Your library does enough dynamic things that type checking would be unlikely to help your users.
51-
Either you would have to spend a lot of effort redesigning your library in ways that static type
52-
checkers could better understand, or you'd have to invest a lot of effort into figuring out clever
53-
type annotations to twist the arms of type checkers.
50+
* Your application uses a particularly dynamic framework or your library does enough dynamic things
51+
that type checking would be unlikely to help your developers and users. Migrating application
52+
frameworks could be costly. Either a) redesigning your library in ways that static type checkers
53+
could better understand or b) figuring out clever type annotations to twist the arms of type
54+
checkers would take a lot of effort.
5455

5556
* Your codebase has suffered at the hands of `Hyrum's Law <https://www.hyrumslaw.com/>`_
5657
and all possible observable behaviour is depended on. In order to avoid false positives for your

0 commit comments

Comments
 (0)