<p><span class="h-card" translate="no"><a href="https://mastodon.social/@ancoghlan" class="u-url mention">@<span>ancoghlan</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <br />yeah...maybe the approach of thinking them as "tests" could get me more at ease. </p><p>But it is not quite the same. <br />If you test a function can sum two integers, you still can use it to sum two floats in Python.</p><p>In typing you are supposed to cover all possible ways your code could be run _before_ shipping (or comitting a change) - and, <br /> If you want all possible "summable" things to be covered by typing, in good pt_br, cê tá lascado!</p>
