C.<p><span class="h-card"><a href="https://mastodon.social/@folkerschamel" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>folkerschamel</span></a></span> <span class="h-card"><a href="https://furry.engineer/@ado" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>ado</span></a></span> </p><p>Asking for specific <a href="https://mindly.social/tags/examples" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>examples</span></a> type checking finds is ... unproductive. You write 2 modules of code, run <a href="https://mindly.social/tags/mypy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mypy</span></a>, and get a list of the 11 places you need to fix - before you've even written unit tests that may or may not have caught the same problem.</p><p>If I tried to keep track of them all, I wouldn't have time to write code.</p><p>[...]</p><p><a href="https://mindly.social/tags/TypeHints" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeHints</span></a> <a href="https://mindly.social/tags/TypeChecking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeChecking</span></a> <a href="https://mindly.social/tags/tests" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tests</span></a> <a href="https://mindly.social/tags/lint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lint</span></a></p>