From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7SHwr7Z031698 for ; Sun, 28 Aug 2011 19:58:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwBAMiAWk7RVdg2kGdsb2JhbABCgk2lIggUAQEBAQkJDQcUBCGBQAEBAQECARICLAEbHQEDAQsGBQQBBgM4IgERAQUBHAYTIodQmxQKjDuCVYNpO4htAgMGhkYEkx+MYTyDaQ X-IronPort-AV: E=Sophos;i="4.68,293,1312149600"; d="scan'208";a="117456937" Received: from mail-qw0-f54.google.com ([209.85.216.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Aug 2011 19:58:47 +0200 Received: by qwc9 with SMTP id 9so4809123qwc.27 for ; Sun, 28 Aug 2011 10:58:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=hSVHXJuHyIlFRBPpijWihOz1x5oYYQzcWNbhnA40YAg=; b=vrsT3B1VkafI0G70titvuWUR45BTWZw4q7fZWPSDg9RD2+jzsrsFSqFxpoe0s2buiX Olj4wvYgE9+fuLmdBeMg5XwuTU+PTwHu0Obl3S/zgKTFZigJ0wZMvWZr5F//LHhAwir/ x672XsV67O3lJAhmx/tak0aJlJVxlt9eVq0M8= MIME-Version: 1.0 Received: by 10.229.41.69 with SMTP id n5mr4726310qce.279.1314554326284; Sun, 28 Aug 2011 10:58:46 -0700 (PDT) Received: by 10.229.27.213 with HTTP; Sun, 28 Aug 2011 10:58:46 -0700 (PDT) In-Reply-To: <1314473840.3496.132.camel@thinkpad> References: <4E58CCC3.4040901@gmail.com> <1314457588.3496.86.camel@thinkpad> <1314473840.3496.132.camel@thinkpad> Date: Sun, 28 Aug 2011 19:58:46 +0200 Message-ID: From: Julien Signoles To: Gerd Stolpmann Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001636418483a7f95004ab9487c4 Subject: Re: [Caml-list] Ocaml and the Fragile Base Class Problem --001636418483a7f95004ab9487c4 Content-Type: text/plain; charset=ISO-8859-1 Hello, 2011/8/27 Gerd Stolpmann > I can only speculate why OO is not that much used in OCaml. Second, there > are practical > difficulties - sometimes very long error messages (1000 lines and more), > and surprising weak spots in the type checker (e.g. when a method has > optional arguments). > I don'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'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 "values do not match val v: tau1 is not included in val v: tau2" which was easy to fix in that case... -- Julien --001636418483a7f95004ab9487c4 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hello,

2011/8/27 Gerd Stolpmann <info@gerd-stolpmann.= de>
I can only speculate why OO is not that much used in OCaml.=A0 Second, ther= e are practical
difficulties - sometimes very long error messages (1000 lines and more),
and surprising weak spots in the type checker (e.g. when a method has
optional arguments).

I don't think that OO is= not that much used because error messages may be long: there is the same i= ssue with the module system which is now quite widely used. Personally I= 9;m not so unhappy with a 1.000 lines-long error message : last Friday agai= n, 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 th= e familiar "values do not match val v: tau1 is not included in val v: = tau2" which was easy to fix in that case...

--
Julien
--001636418483a7f95004ab9487c4--