Hello,<br><br><div class="gmail_quote">2011/8/27 Gerd Stolpmann <span dir="ltr">&lt;<a href="mailto:info@gerd-stolpmann.de">info@gerd-stolpmann.de</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I can only speculate why OO is not that much used in OCaml.  Second, there are practical<br>
difficulties - sometimes very long error messages (1000 lines and more),<br>
and surprising weak spots in the type checker (e.g. when a method has<br>
optional arguments).<br></blockquote></div><br>I don&#39;t think that OO is not that much used because error messages may be long: there is the same issue with the module system which is now quite widely used. Personally I&#39;m not so unhappy with a 1.000 lines-long error message : last Friday again, I get an error message with many more than 100.000 lines (when compiling a file with less than 1.000 lines of code): it took several minutes to be printed and few seconds to be fixed: the 2 last lines of the message was the familiar &quot;values do not match val v: tau1 is not included in val v: tau2&quot; which was easy to fix in that case...<br>
<br>--<br>Julien<br><div style="visibility: hidden; left: -5000px; position: absolute; z-index: 9999; padding: 0px; margin-left: 0px; margin-top: 0px; overflow: hidden; word-wrap: break-word; color: black; font-size: 10px; text-align: left; line-height: 130%;" id="avg_ls_inline_popup">
</div>