&gt; We do not know a whole lot about code just because
&gt; it has type checked. It may feel like you do, but
&gt; that&#x27;s just a feeling.<p>See also:  The Safyness of Static Typing[1]<p>[1] <a href="http:&#x2F;&#x2F;blog.metaobject.com&#x2F;2014&#x2F;06&#x2F;the-safyness-of-static-typing.html" rel="nofollow">http:&#x2F;&#x2F;blog.metaobject.com&#x2F;2014&#x2F;06&#x2F;the-safyness-of-static-ty...</a>