caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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 --]

  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;
as well as URLs for NNTP newsgroup(s).