From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 57D27BBAF for ; Fri, 9 Oct 2009 13:15:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBABO4zkrRVdSskWdsb2JhbACCJi6MfIp0PwEBAQEJCwoHEwOuAwqBMY9mAQMDBYQlBIgG X-IronPort-AV: E=Sophos;i="4.44,531,1249250400"; d="scan'208";a="36004597" Received: from mail-vw0-f172.google.com ([209.85.212.172]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Oct 2009 13:15:01 +0200 Received: by vws2 with SMTP id 2so444590vws.15 for ; Fri, 09 Oct 2009 04:15:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:reply-to:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=3Uo54QWMA+9A9eo6z3SsOkp/zG7f6+OHFAhL2tLONmg=; b=qCUd+U+UNPhintqPXsOxFQPxXNc1yUc5KjHTYYEuSgD47lmTdvmmGWcOpyiR134bzx YXAC7fKWyrPWS3JIkc13mIGNZyubmp8sEVd2RFxvnMLrdTvTuLhuYVLc3h/PQXoQb+Vw Cev7AfBw1f8RkOJDhlyPENHKoQlwrUbD5segY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; b=g33X62V7IbyxhT3xuYSP9RPwPLaKyzemVUWGwgXR2pha4j9h82Bq+Tuo3EPcSMREUc 9w5fdBV7t/SmTQ+iolbZvefodEcSSm5hiupNdVDSZZeY02cC1EtaQ7dRE7i8YjGuLiNr JI4ReukTg2fAo42LvM0tx9a0/OTa5iCipKfZI= MIME-Version: 1.0 Received: by 10.220.16.83 with SMTP id n19mr1542061vca.3.1255086900539; Fri, 09 Oct 2009 04:15:00 -0700 (PDT) Reply-To: yminsky@gmail.com In-Reply-To: References: <891bd3390910081840p37e8c786g60b2c15d2c06ae60@mail.gmail.com> <7d8707de0910090033q4a14a108w62f13d7735994923@mail.gmail.com> <891bd3390910090258l61aa7947p67a10c4adcc3312a@mail.gmail.com> Date: Fri, 9 Oct 2009 07:15:00 -0400 Message-ID: <891bd3390910090415r1d2d43f1q71a8da2df741678d@mail.gmail.com> Subject: Re: [Caml-list] Improving OCaml's choice of type to display From: Yaron Minsky To: Alp Mestan Cc: Andrej Bauer , caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=001485ea86b4de738204757eb0c8 X-Spam: no; 0.00; ocaml's:01 yaron:01 minsky:01 yminsky:01 ocamlmktop:01 submodules:01 pervasives:01 iirc:01 ocamlc:01 toplevel:01 yaron:01 minsky:01 yminsky:01 andrej:01 andrej:01 --001485ea86b4de738204757eb0c8 Content-Type: text/plain; charset=ISO-8859-1 On Fri, Oct 9, 2009 at 6:54 AM, Alp Mestan wrote: > Can't there be a trick by playing with, e.g, ocamlmktop, which could open > Core and its main submodules by default, like it's done with Pervasives and, > IIRC, Batteries ? > Maybe. Although to be honest my main concern is not with the top-level, but rather with the errors given out by ocamlc, and the type-inference hints given by the -dtypes flag. The naming choices are easiest to see in the toplevel, but they show up all over the place. y > On Fri, Oct 9, 2009 at 11:58 AM, Yaron Minsky wrote: > >> Well, if we're picking heuristics, the fewest number of characters >> wouldn't be crazy either. Given the choice between Int.t and Int.comparable >> (which are aliases for the same type), I'd prefer to see Int.t. >> >> y >> >> >> On Fri, Oct 9, 2009 at 3:33 AM, Andrej Bauer wrote: >> >>> On Fri, Oct 9, 2009 at 3:40 AM, Yaron Minsky wrote: >>> > Choosing shorter names. >>> >>> By which you probably mean "the fewest number of dots (module >>> projections)". It might be a bit annoying if the code that prints >>> doesn't know what modules are open. What do the INRIA priests say? >>> >>> Andrej >>> >> >> >> _______________________________________________ >> Caml-list mailing list. Subscription management: >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list >> Archives: http://caml.inria.fr >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> >> > > > -- > Alp Mestan > http://alpmestan.wordpress.com/ > http://alp.developpez.com/ > --001485ea86b4de738204757eb0c8 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, Oct 9, 2009 at 6:54 AM, Alp Mestan <alp@mestan.fr> wrote:
Can't there be a trick by playing with, e.g, ocamlmktop, which could op= en Core and its main submodules by default, like it's done with Pervasi= ves and, IIRC, Batteries ?

Maybe.=A0 Although to b= e honest my main concern is not with the top-level, but rather with the err= ors given out by ocamlc, and the type-inference hints given by the -dtypes = flag.=A0 The naming choices are easiest to see in the toplevel, but they sh= ow up all over the place.

y
=A0
On Fri, Oct 9= , 2009 at 11:58 AM, Yaron Minsky <yminsky@gmail.com> wrote:<= br>
=
Well, if we're picking heuristics, the few= est number of characters wouldn't be crazy either.=A0 Given the choice = between Int.t and Int.comparable (which are aliases for the same type), I&#= 39;d prefer to see Int.t.

y


On Fri,= Oct 9, 2009 at 3:33 AM, Andrej Bauer <andrej.bauer@andrej.com&g= t; wrote:
On Fri, Oct 9, 2009 at 3:40 AM, Yaron Minsky <yminsky@gmail.com> wrote:
> Choosing shorter names.

By which you probably mean "the fewest number of dots (module
projections)". It might be a bit annoying if the code that prints
doesn't know what modules are open. What do the INRIA priests say?

Andrej


_______________________________________________=
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.in= ria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs




--=
Alp Mestan
http://alpmestan.wordpress.com/
http://alp.developpez.com/

--001485ea86b4de738204757eb0c8--