From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1A3bole017543 for ; Fri, 10 Feb 2012 04:37:50 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AioBAHuQNE/RVdc2kGdsb2JhbABDnlOITAGIOAgiAQEBAQkJDQcUBCOBcgEBAQMBEgIsARsSCwEDAQsGBQQHDQ0hIgERAQUBChIGExIQh1oJmz0Ki3GCcIUsP4hzAgULizkhCSUhAwEBg10ghCQEgluFa4xpjiM9hA8 X-IronPort-AV: E=Sophos;i="4.73,394,1325458800"; d="scan'208";a="130809334" Received: from mail-lpp01m010-f54.google.com ([209.85.215.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Feb 2012 04:37:44 +0100 Received: by lagz14 with SMTP id z14so3764813lag.27 for ; Thu, 09 Feb 2012 19:37:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=iGyFSRROpUwRA049gULm91xj2AY1BWYNZ1PMcqOBStw=; b=YwgD0Wq3+v0vS5Bd9+VI5HyAhX0mNVw+2M+/sSRljYEwJebrY7Ys+mPBKOHgFY6aZT sV+PdqTK8fcTcBaLRzVXRaZof6fjmxUDRramHM/sUvSICnY4kRk+4xJfxjT1UxS9PJ+5 ZPIZhs3929VB2vHy4+ScnuVcz+pGQha/qVKQA= MIME-Version: 1.0 Received: by 10.152.132.104 with SMTP id ot8mr3050453lab.17.1328845062419; Thu, 09 Feb 2012 19:37:42 -0800 (PST) Received: by 10.112.26.198 with HTTP; Thu, 9 Feb 2012 19:37:41 -0800 (PST) Received: by 10.112.26.198 with HTTP; Thu, 9 Feb 2012 19:37:41 -0800 (PST) In-Reply-To: <20120208163007.GB4920@siouxsie> References: <4F326EA6.20900@gmail.com> <4F32741C.4040501@janestreet.com> <20120208133926.GC1823@siouxsie> <4F327CBF.4030005@janestreet.com> <20120208135818.GG1823@siouxsie> <4F3282B1.1050205@janestreet.com> <4F328BCF.9030902@janestreet.com> <20120208163007.GB4920@siouxsie> Date: Fri, 10 Feb 2012 11:37:41 +0800 Message-ID: From: Jun Furuse To: oliver Cc: caml-list@inria.fr, =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= <5764c029b688c1c0d24a2e97cd764f@gmail.com>, Gabriel Scherer , David House Content-Type: multipart/alternative; boundary=f46d0433a094e836f504b893d965 Subject: Re: [Caml-list] syntactic detail --f46d0433a094e836f504b893d965 Content-Type: text/plain; charset=ISO-8859-1 Hi, Just FYI, there are more than 10_0000_0000 wierd people in weird Asia who use weird 10^4 based digit system. j On Feb 9, 2012 12:31 AM, "oliver" wrote: > On Wed, Feb 08, 2012 at 02:50:55PM +0000, David House wrote: > > On 02/08/2012 02:39 PM, Gabriel Scherer wrote: > > >People. Please. Tell me you are *not* arguing over underscores in > > >numeric literals ! > > > > This is not totally academic. I have come across the exact bug I > > describe. It was painful. > [...] > > > Let me guess where the problem might be came from: > > When i think of code that uses a value > 1_000_000 > and you want to change it to a value ten times higher, > it should be changed to > 10_000_000 > > > Coming from notation that does NOT allow "_" in tzhe numbers, > it could be done by just adding one "0" at the end of the value: > > 1000000 > becomes > 10000000 > ^ > > with the "0" added at the end. > > But also correct ("more correct" would be: > > 1000000 > becomes > 10000000 > ^ > > "0" added at the millions. > > "Just add one "0" at the end" > > Is the edit-habit, which works fine. > > > But when allowing "_" inside numbers, > but people don't change the "wrong" editing behaviour, > then allowing the "_" at all means introducing a new kind > of possible errors. > > This could be an argument to throw "_" at all, > because adding a "0" after the "1" instead of just > adding a "0" at the end is rarely used behaviour of editing, > and some people might call it "weird". ;-) > > So this argument also could be used to disallow "_" at all. > > > But no, thats not what I want to argue for ;-) > > > > OK, let's stop that discussion now. > > If someone thinks the three-digit-distance-"_" is a feature that makes > sense, > a feature wish could be added for OCaml. ;-) > > > Ciao, > Oliver > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --f46d0433a094e836f504b893d965 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

Hi,

Just FYI, there are more than 10_0000_0000 wierd people in weird Asia wh= o use weird 10^4 based digit system.

j

On Feb 9, 2012 12:31 AM, "oliver" <= oliver@first.in-berlin.de&= gt; wrote:
On Wed, Feb 08, 2012 at 02:50:55PM +0000, David House wrote:
> On 02/08/2012 02:39 PM, Gabriel Scherer wrote:
> >People. Please. Tell me you are *not* arguing over underscores in<= br> > >numeric literals !
>
> This is not totally academic. I have come across the exact bug I
> describe. It was painful.
[...]


Let me guess where the problem might be came from:

When i think of code that uses a value
=A01_000_000
=A0and you want to change it to a value ten times higher,
=A0it should be =A0changed to
=A010_000_000


Coming from notation that does NOT allow "_" in tzhe numbers,
it could be done by just adding one "0" at the end of the value:<= br>
=A01000000
becomes
=A010000000
=A0 =A0 =A0 =A0 ^

with the "0" added at the end.

But also correct ("more correct" would be:

=A01000000
becomes
=A010000000
=A0 ^

"0" added at the millions.

=A0"Just add one "0" at the end"

Is the edit-habit, which works fine.


But when allowing "_" inside numbers,
but people don't change the "wrong" editing behaviour,
then allowing the "_" at all means introducing a new kind
of possible errors.

This could be an argument to throw "_" at all,
because adding a "0" after the "1" instead of just
adding a "0" at the end is rarely used behaviour of editing,
and some people might call it "weird". ;-)

So this argument also could be used to disallow "_" at all.


But no, thats not what I want to argue for ;-)



OK, let's stop that discussion now.

If someone thinks the three-digit-distance-"_" is a feature that = makes sense,
a feature wish could be added for OCaml. ;-)


Ciao,
=A0Oliver

--
Caml-list mailing list. =A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--f46d0433a094e836f504b893d965--