From: Jun Furuse <jun.furuse@gmail.com>
To: oliver <oliver@first.in-berlin.de>
Cc: caml-list@inria.fr,
"Matej Košík" <5764c029b688c1c0d24a2e97cd764f@gmail.com>,
"Gabriel Scherer" <gabriel.scherer@gmail.com>,
"David House" <dhouse@janestreet.com>
Subject: Re: [Caml-list] syntactic detail
Date: Fri, 10 Feb 2012 11:37:41 +0800 [thread overview]
Message-ID: <CAAoLEWsCiCezuHG8EMr3r=tG+Sc0qS-MVn6=QeBqQRg_24RMog@mail.gmail.com> (raw)
In-Reply-To: <20120208163007.GB4920@siouxsie>
[-- Attachment #1: Type: text/plain, Size: 2080 bytes --]
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" <oliver@first.in-berlin.de> 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
>
>
[-- Attachment #2: Type: text/html, Size: 3018 bytes --]
next prev parent reply other threads:[~2012-02-10 3:37 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-08 12:46 Matej Košík
2012-02-08 12:54 ` Gabriel Scherer
2012-02-08 13:09 ` David House
2012-02-08 13:39 ` oliver
2012-02-08 13:45 ` oliver
2012-02-08 13:46 ` David House
2012-02-08 13:58 ` oliver
2012-02-08 14:12 ` David House
2012-02-08 14:39 ` Gabriel Scherer
2012-02-08 14:50 ` David House
2012-02-08 15:19 ` Vincent Aravantinos
2012-02-10 8:39 ` Andrew
2012-02-08 16:30 ` oliver
2012-02-10 3:37 ` Jun Furuse [this message]
2012-02-08 16:21 ` oliver
2012-02-08 13:05 ` rixed
2012-02-09 9:05 ` Matej Košík
2012-02-09 10:56 ` Wojciech Meyer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAAoLEWsCiCezuHG8EMr3r=tG+Sc0qS-MVn6=QeBqQRg_24RMog@mail.gmail.com' \
--to=jun.furuse@gmail.com \
--cc=5764c029b688c1c0d24a2e97cd764f@gmail.com \
--cc=caml-list@inria.fr \
--cc=dhouse@janestreet.com \
--cc=gabriel.scherer@gmail.com \
--cc=oliver@first.in-berlin.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox