From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 AC2187EF53 for ; Fri, 14 Aug 2015 13:03:21 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.15.3 as permitted sender) identity=mailfrom; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.15.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B7AQB9ys1VnAMP49RdylcCgUhMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQyAVYLGAklDwUoiEwBGcoMH4YNAQsBH4tThRAXgwGBFAEElRuMaYFNhxMMjVSDZ4QlgzsBAQE X-IPAS-Result: A0B7AQB9ys1VnAMP49RdylcCgUhMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQyAVYLGAklDwUoiEwBGcoMH4YNAQsBH4tThRAXgwGBFAEElRuMaYFNhxMMjVSDZ4QlgzsBAQE X-IronPort-AV: E=Sophos;i="5.15,677,1432591200"; d="scan'208";a="142776147" Received: from mout.web.de ([212.227.15.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Aug 2015 13:02:51 +0200 Received: from frosties.localnet ([95.208.221.151]) by smtp.web.de (mrweb002) with ESMTPSA (Nemesis) id 0LkhUq-1Ypm0q1mqq-00aVww for ; Fri, 14 Aug 2015 13:02:50 +0200 Received: from mrvn by frosties.localnet with local (Exim 4.84) (envelope-from ) id 1ZQCfv-0000Ru-8h for caml-list@inria.fr; Fri, 14 Aug 2015 12:57:27 +0200 Date: Fri, 14 Aug 2015 12:57:27 +0200 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20150814105726.GE31364@frosties> References: <55BF6F1C.3050705@bioquant.uni-heidelberg.de> <55BF75F6.1040006@bioquant.uni-heidelberg.de> <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch> <20150804092633.GC5689@frosties> <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch> <20150806092140.GB16477@frosties> <83423180DE1A4F0BAFAA8CF111E9724B@erratique.ch> <20150806133641.GA7287@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20150806133641.GA7287@topoi.pooq.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:GzFMxRKqZV4SxoDpemt/+f2YAtG2/Ae9+UEgU41NniXI4TQjTyx Oawbhqc8i+bwvOZQf9P5/WZHyM6OdkQHi4OCoA26wsf9zAcTC52UFe+CPR10t4Dkpzyi+wN ftGk1zak0vINZ4BJDVWX8eA88nNRReUZgnMYJzkDw0vTtfd4ttHt3mzO74SlislyUdd7pLm xV/Ks0fiVQNUPB0zMK4xg== X-UI-Out-Filterresults: notjunk:1;V01:K0:Fch8oI+f9sk=:homsyzOYWs96t0icaeow3/ V7FuDknOh44LgTy27NV74BTgWN5ZKd7s1FHgkPXh3HK8s1QPgTEwufy7PfJcDt8rtrR/zHYut 3RcKhZDqJycU3CI0WIpAQzTSMpCT60p2a7xwbyeEqxxGyYbCutYOVyg9fwiwGn1kCGYxiiIqN qab3jfL+pESB6WZN7hEFrkpQnuMydzkuEEWF/DywkqeBFfd9m2T7LWDrOlu4wkD0778lfa0VO fYsBt2NWg5VSCCNRAcw2IazbBz8Q4NpNycQlRLxHp8NcuvYrXFA5QCTKP08bFYu1RNKgW84+Y rNQaUCpVc7JAPwLQ8AFsGR6IgBRIj0T4e09WI43BKA0qgdTFeFQkd00W0h1ZRKNyuxCTapx1k V9FkLPPt9cL0XtwKLMi4lSO3Mzbg1ahhv/GiktHWY84cBNH6Utfcdzx4uu5O+6qHJdGIZTuOi d+QaC5TTQYN/owuKLlLB6oGur7NI5bRIBLN0EVwQW8VRYuu/vrODjP/IdmeE4DCHuypzpiW0+ kFHlhpOMoOmifgT8Pz2l+fvfiCWcpkppIgEQGkHcAW3NvOLrWlIm6DCKthE+xyhgowYQfQj3+ sE4CyONRmEc6piiFvqg3XQPdXZNSxJsvQAtcxUZo5sYn0eDeXANvbjSSg0qa2vRtX/VNn0a+/ X9zNk/6udGa6GixZ7GH+Gi83mPrzHL1XT4pKjwzWfO69M3fzhZTdv82k7mN4FXt2CtOwzCxkp OfBt97Wot43XCEMl Subject: Re: [Caml-list] destructive local opens On Thu, Aug 06, 2015 at 09:36:41AM -0400, Hendrik Boom wrote: > 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 in C, which defined y0 and y1. > > -- hendrik And still we have not learned from it. :) MfG Goswin