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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id D31ABBBAF for ; Fri, 9 Oct 2009 11:58:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBAEOmzkrRVdSskWdsb2JhbACCJS+XcD8BAQEBCQsKBxMDrgQKgTGPXQEDAwWEJQSIBg X-IronPort-AV: E=Sophos;i="4.44,531,1249250400"; d="scan'208";a="37905139" Received: from mail-vw0-f172.google.com ([209.85.212.172]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Oct 2009 11:58:06 +0200 Received: by vws2 with SMTP id 2so407403vws.15 for ; Fri, 09 Oct 2009 02:58:05 -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=3ZrW1Bu5jrz5YBM3jobmfL611SDzbFAVZQiANiDQye0=; b=fbIEO2b8x2ADKEfyDx1lSX2rjXOfXlPTSWGrHa945V0jPMs5SGyThBeEWUZrjStZJf T1J7+XyjT0WWMbAOgAtlDKAE0bV7s+67kqBVlQ6JJVvlCWDCuP51Z0Bgg3v1WOfb3Jj3 sTd2wpFY3woWkP2yuA4ag7l2Ec5Tg3sEIEvcc= 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=JToCgwUnRCBncLPpHWny/q/ERzvV3KsCodljWPuDhw5Jfh8+m2EnHA9PDWY3lgg8m7 tSQbzk1Lqj3BVvYh6m6xpGJ2QgJMuIIOd305NBG7dcFBFgvo4aUmvrnZwP0y3yIuTJJ4 fHjtagaIGzijYnUM7vr4loLgLUfHRVbxWQUSA= MIME-Version: 1.0 Received: by 10.220.80.40 with SMTP id r40mr3368600vck.117.1255082285477; Fri, 09 Oct 2009 02:58:05 -0700 (PDT) Reply-To: yminsky@gmail.com In-Reply-To: <7d8707de0910090033q4a14a108w62f13d7735994923@mail.gmail.com> References: <891bd3390910081840p37e8c786g60b2c15d2c06ae60@mail.gmail.com> <7d8707de0910090033q4a14a108w62f13d7735994923@mail.gmail.com> Date: Fri, 9 Oct 2009 05:58:05 -0400 Message-ID: <891bd3390910090258l61aa7947p67a10c4adcc3312a@mail.gmail.com> Subject: Re: [Caml-list] Improving OCaml's choice of type to display From: Yaron Minsky To: Andrej Bauer Cc: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=0016e645fa10ca31a004757d9df6 X-Spam: no; 0.00; ocaml's:01 yaron:01 minsky:01 yminsky:01 andrej:01 andrej:01 yaron:01 minsky:01 yminsky:01 2009:98 2009:98 wrote:01 wrote:01 caml-list:01 int:01 --0016e645fa10ca31a004757d9df6 Content-Type: text/plain; charset=ISO-8859-1 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 > --0016e645fa10ca31a004757d9df6 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Well, if we're picking heuristics, the fewest number of characters woul= dn't be crazy either.=A0 Given the choice between Int.t and Int.compara= ble (which are aliases for the same type), I'd prefer to see Int.t.

y

On Fri, Oct 9, 2009 at 3:33 AM, And= rej Bauer <= andrej.bauer@andrej.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

--0016e645fa10ca31a004757d9df6--