From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id E7C607F71A
	for <caml-list@sympa.inria.fr>; Tue, 22 Apr 2014 02:12:20 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnYRAI6yVVNKN1ZKnGdsb2JhbABZDoYNgSDBA4E3DgEBAQEBBg0JCRQogiYBBSNWEAsaAhkNAgJHEAYbiDkEqWWjQReBKY0GMweCbzWBFAEDny8XjmhC
X-IPAS-Result: AnYRAI6yVVNKN1ZKnGdsb2JhbABZDoYNgSDBA4E3DgEBAQEBBg0JCRQogiYBBSNWEAsaAhkNAgJHEAYbiDkEqWWjQReBKY0GMweCbzWBFAEDny8XjmhC
X-IronPort-AV: E=Sophos;i="4.97,899,1389740400"; 
   d="scan'208";a="69387380"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Apr 2014 02:12:20 +0200
Received: from [172.20.10.2] (34-236.197-178.cust.bluewin.ch [178.197.236.34])
	by smtp.webfaction.com (Postfix) with ESMTP id 6522020C1241;
	Tue, 22 Apr 2014 00:11:47 +0000 (UTC)
Date: Tue, 22 Apr 2014 02:11:41 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: OCaML List Mailing <caml-list@inria.fr>
Message-ID: <BA95062FE69E4EFDBA394D22AE7A7A5A@erratique.ch>
In-Reply-To: <17AF8444-F297-4584-ADE8-D17974BE6960@math.nagoya-u.ac.jp>
References: <8F9F12A8E9C94118A453E000BC387897@erratique.ch>
 <17AF8444-F297-4584-ADE8-D17974BE6960@math.nagoya-u.ac.jp>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] non-optional labels in signatures

Le mardi, 22 avril 2014 =C3=A0 01:50, Jacques Garrigue a =C3=A9crit :
> There the decision was mostly based on esthetics: a ~ after an arrow does=
 not look good.
> I don=E2=80=99t think that saving a keystroke was part of this decision.

Interesting. From a usability point of view I would now have preferred regu=
larity of syntax, but I may be biased, I came to OCaml from Lisp...=20=20

Thanks for the story,

Daniel