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.9 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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C6386BBAF for ; Fri, 9 Oct 2009 12:54:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBACezzkrRVdvOkGdsb2JhbACCJS+MfIp0PwEBAQEJCQwHEwOvR49iAQMDBYQlBIhZ X-IronPort-AV: E=Sophos;i="4.44,531,1249250400"; d="scan'208";a="37912124" Received: from mail-ew0-f206.google.com ([209.85.219.206]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Oct 2009 12:54:35 +0200 Received: by ewy2 with SMTP id 2so4066766ewy.27 for ; Fri, 09 Oct 2009 03:54:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type; bh=MTaekd8HmChHo5QlmUa1mHrIS4mcaSKrl6guwJCg1E8=; b=uTiKtMSPzqToRZKoj7/gusLO+wgJkUGa40lOKuzDWIMx1B4LQkVeephbSuXWDe33am guEoBaIl4yjHET3O0nFWtNJ+gWGA9/fyFCTcIUrD0d1lBwVkR8xJXjZaus9pLuTIwpQn phdlOPH5cmyS3ymhf4zrhjqkaqH7V5gV//f4s= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=RTdAgDdFRfEKyRhyCGX+kWX2k8Z8dFs664pN818yro+DUiygmRonhVRRCFTOws5kpz 2wsvict02lMnRSmgnHeBPeuY6d9K5KKYQqOMDkSYN23K2z1jmgqSF1bkN3CTq99yRhOc VoSAIrkoxrk3wBcMBbBKz42KHtvHNGeLOL0Oo= MIME-Version: 1.0 Sender: alpmestan@gmail.com Received: by 10.216.91.6 with SMTP id g6mr613718wef.212.1255085674843; Fri, 09 Oct 2009 03:54:34 -0700 (PDT) In-Reply-To: <891bd3390910090258l61aa7947p67a10c4adcc3312a@mail.gmail.com> References: <891bd3390910081840p37e8c786g60b2c15d2c06ae60@mail.gmail.com> <7d8707de0910090033q4a14a108w62f13d7735994923@mail.gmail.com> <891bd3390910090258l61aa7947p67a10c4adcc3312a@mail.gmail.com> Date: Fri, 9 Oct 2009 12:54:34 +0200 X-Google-Sender-Auth: ebb1732d5d2306f4 Message-ID: Subject: Re: [Caml-list] Improving OCaml's choice of type to display From: Alp Mestan To: yminsky@gmail.com Cc: Andrej Bauer , caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0016e6d62699cfcefc04757e67a5 X-Spam: no; 0.00; ocaml's:01 ocamlmktop:01 submodules:01 pervasives:01 iirc:01 yaron:01 minsky:01 yminsky:01 andrej:01 andrej:01 yaron:01 minsky:01 yminsky:01 beginner's:01 ocaml:01 --0016e6d62699cfcefc04757e67a5 Content-Type: text/plain; charset=ISO-8859-1 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 ? 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/ --0016e6d62699cfcefc04757e67a5 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 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 ?

On Fri, Oct 9,= 2009 at 11:58 AM, Yaron Minsky <yminsky@gmail.com> wrote:
Well, if we'r= e picking heuristics, the fewest number of characters wouldn't be crazy= either.=A0 Given the choice between Int.t and Int.comparable (which are al= iases for the same type), I'd prefer to see Int.t.

y


On Fri, Oct 9, 2009 at 3:33 AM, Andrej Bauer <andrej.bauer@and= rej.com> 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/<= br>http://alp.developpez.com/ --0016e6d62699cfcefc04757e67a5--