3 ms·If your type system only prevents trivial errors then it's not sufficiently 'strong'.by leshow 8y agoIf your type system only prevents trivial errors then it's not sufficiently 'strong'.