From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <hendrik@topoi.pooq.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id A24D27EEBF
	for <caml-list@sympa.inria.fr>; Thu,  6 Aug 2015 15:36:45 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=pra;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=mailfrom;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@april.topoi.pooq.com) identity=helo;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="postmaster@april.topoi.pooq.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DDCABjYsNV/4aDpUVbhDSCecJEAoINAQEBAQEBgQuEJAEBBDIBVgsYCSUPBRiIcs1uAQEIAiCLT4UQF4MBgRQBBJUBjFUCT3iURINkJoQZIoJ9AQEB
X-IPAS-Result: A0DDCABjYsNV/4aDpUVbhDSCecJEAoINAQEBAQEBgQuEJAEBBDIBVgsYCSUPBRiIcs1uAQEIAiCLT4UQF4MBgRQBBJUBjFUCT3iURINkJoQZIoJ9AQEB
X-IronPort-AV: E=Sophos;i="5.15,622,1432591200"; 
   d="scan'208";a="142186943"
Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Aug 2015 15:36:43 +0200
Received: by april.topoi.pooq.com (Postfix, from userid 1001)
	id 4A09C1A04D3; Thu,  6 Aug 2015 09:36:41 -0400 (EDT)
Date: Thu, 6 Aug 2015 09:36:41 -0400
From: Hendrik Boom <hendrik@topoi.pooq.com>
To: caml-list@inria.fr
Message-ID: <20150806133641.GA7287@topoi.pooq.com>
References: <55BF6F1C.3050705@bioquant.uni-heidelberg.de>
 <BF0D69096EFA410695EC3AFB2CEEDABD@erratique.ch>
 <B52F2D68184048B39F261A5A96246437@erratique.ch>
 <55BF75F6.1040006@bioquant.uni-heidelberg.de>
 <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch>
 <20150804092633.GC5689@frosties>
 <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch>
 <20150806092140.GB16477@frosties>
 <83423180DE1A4F0BAFAA8CF111E9724B@erratique.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <83423180DE1A4F0BAFAA8CF111E9724B@erratique.ch>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] destructive local opens

On Thu, Aug 06, 2015 at 11:19:08AM +0100, Daniel Bünzli wrote:
> Le jeudi, 6 août 2015 à 10:21, Goswin von Brederlow a écrit :
> > > It also has  
> > >  
> > > val ox : t  
> > >  
> > > Daniel
> > Whatever for?
> 
> It could have been `e1`, `ex`, `i`, all these names are used in the mathematical literature to stand for the unit vector on the x-axis. As you can see all these names are short and there is absolutely no point in inventing something special just to avoid *your* dogma that two letter identifiers should only be used for local identifiers. Identifiers should match the vocabulary of the domain you are dealing with.

Just as in <math.h> in C, which defined y0 and y1.

-- hendrik