Right, it's well known that type systems are essentially useless, except when yo...

axman6 on April 22, 2014 | parent | context | favorite | on: Let the Type System do the Work

Right, it's well known that type systems are essentially useless, except when you need to write high quality code, and do all those things you mentioned. Basically they're unnecessary (but only if you use the term unnecessary very literally).