From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q18DjrOA029063 for ; Wed, 8 Feb 2012 14:45:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsCAGN7Mk/AbSoIe2dsb2JhbABDhQ2oMoIrIgEBFiYEI4FzAQUjVhALCQUMAiYCAhQYMYgSp1CSBBOBHIoiAgIdBAYBLgQPAwMBhA4NBQQggiQzYwSNYodKkl8 X-IronPort-AV: E=Sophos;i="4.73,383,1325458800"; d="scan'208";a="143396371" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Feb 2012 14:45:48 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178010107.adsl.alicedsl.de [85.178.10.107]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q18Djlo0013397 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 8 Feb 2012 14:45:47 +0100 Received: by first (Postfix, from userid 1000) id 210B4154022C; Wed, 8 Feb 2012 14:45:47 +0100 (CET) Date: Wed, 8 Feb 2012 14:45:47 +0100 From: oliver To: David House Cc: Gabriel Scherer , Matej =?utf-8?B?S2/FocOtaw==?= <5764c029b688c1c0d24a2e97cd764f@gmail.com>, caml-list@inria.fr Message-ID: <20120208134547.GD1823@siouxsie> References: <4F326EA6.20900@gmail.com> <4F32741C.4040501@janestreet.com> <20120208133926.GC1823@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20120208133926.GC1823@siouxsie> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] syntactic detail On Wed, Feb 08, 2012 at 02:39:26PM +0100, oliver wrote: [...] > For example you might have a startvalue of an algorithm and the staring value > for a certin behaviour is > 3.36639926549992 > but your colleague uses > 3.36639296549992 > > For clarification one could write: > 3.36639926549992 vs. > 3.36639296549992 > > or better > > 3.36639_92_6549992 vs. > 3.36639_29_6549992 [...] Or, of course izt would be possible to write: 3.366_399_265_499_92 vs. 3.366_392_965_499_92 which would be the case with all-three-letters distannce. This is less clear for clarifying the difference. Ciao, Oliver