This seems an unwarranted dig against a poorly specified group of people.<p>The notion that a type system is &quot;just&quot; logic and so should be trivially followed by anyone &quot;smart enough&quot; or &quot;careful enough&quot; is laughable - there are many different type systems (sometimes with different details depending on the options or pragmas you feed to your tooling), and it can take time to get a sense of where the boundaries are.<p>The notion that you&#x27;re not likely to find a type system helpful if you have trouble with it initially is <i>harmful</i>.<p>Please don&#x27;t do this.