&gt; The notion that a type system is &quot;just&quot; logic<p>I would&#x27;ve never said &quot;just&quot;. Formal logic is big f...reaking deal.<p>&gt; so should be trivially followed by anyone &quot;smart enough&quot; or &quot;careful enough&quot; is laughable<p>I never said anything about being &quot;smart&quot; or &quot;careful&quot;. I only said that hacker types, for whom the ability to subvert anything anytime is a fundamental tenet, tend to have a hard time sticking to the rules of a formal game, whether it is a type system or not. Just look at the reasons Lispers give for liking Lisp.