4 ms·

I mean, correct as in logically correct and that's just a different matter than being grammatically correct.

• morelisp 5y ago
  The parser assures your code is grammatically correct; the type system assures your code is semantically consistent, which is usually a much stronger guarantee, and by most practical measures will be closer - often much closer, and for total functions on total types, sometimes all the way - to "logically correct".