<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <span class="h-card" translate="no"><a href="https://floss.social/@gwidion" class="u-url mention">@<span>gwidion</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@ancoghlan" class="u-url mention">@<span>ancoghlan</span></a></span> IMO, high quality code that leverages typing a lot is substantially different from what I'd consider high quality untyped code. So yes, I think you're right. </p><p>Just adding type hints to dynamically typed code won't get you get far. This extends to the ecosystem - no amount of hints will make jinja2 type-safe. Nor Django.</p><p>That said, I would like to push back on the idea that well typed code looks like Java sausages. That's mediocre typed code.</p>
