On Aug 19, 10:46 am, John Carr &lt;<a href="mailto:j...@MIT.EDU">j...@MIT.EDU</a>&gt; wrote:<br>&gt; OCaml has a badly designed syntax processed by a badly implemented<br>&gt; parser feeding into a backend that generates poor error messages.
<br>&gt; All this makes the language hard to use.<br><br>I think the bad error messages break down into two categories most of the time, 1) lengthy, unintelligible type mismatches and 2) unhelpful (location-wise) complaints about parentheses in nested expressions. I find that ocaml+twt helps immensely with the latter category. Basically, I&#39;m much much happier with the language since doing TWT - I don&#39;t have to pull my hair out fixing things that are obvious from the indentation anyway. And, mostly just to make a point, it does away with the fugly ;;
<br><br>It&#39;s been a while since PL class so I&#39;m not sure what can be done to make type mismatch errors more helpful.<br>