in reply to Re^7: NaN output
in thread NaN output

You're not telling me anything (here) that I don't already know.

And what was there in your post that you thought that I didn't already know?

All I said was, you cannot get NaN from integer overflow. That was, is and always will be true.

How Laurent_R's misunderstanding came about is irrelevant; that it should be corrected isn't.

With the rise and rise of 'Social' network sites: 'Computers are making people easier to use everyday'
Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
"Science is about questioning the status quo. Questioning authority".
In the absence of evidence, opinion is indistinguishable from prejudice.

Replies are listed 'Best First'.
Re^9: NaN output
by syphilis (Archbishop) on Mar 06, 2014 at 11:52 UTC
    And what was there in your post that you thought that I didn't already know?

    Absolutely nothing (except see below my sig).
    You thought I was replying to you ? ... that I was trying to correct something you had said ? ... that I was trying to improve on something you had said ?
    You thought I was writing that post (at least in part) for your own edification ?
    After all, my post appeared directly beneath yours ... and it did start with a quote from your post.

    Well, it's "none of the above". I wasn't really replying to you, nor was I attempting to correct/improve your post. I was just making a divergent and trivial follow-on comment that was triggered partly by the (quoted) remark you had made, and partly by what Laurent_R had written.
    I thought you would pick up on that. (You *can* read minds, can't you ?)
    My apologies for that - my intent would have been much clearer if I had positioned my reply beneath Laurent_R's post and been way more explicit wrt what I was trying to say. There was really no need for me to reference your post at all - it's just that it was your remark that triggered the observation.

    Shit - all that for something I've written that probably wasn't of much interest to anyone other than me, anyway.
    Oh, well ... all I can do is try to do better next time.

    Cheers,
    Rob

    PS: Actually I wasn't sure whether you were aware that you could start with a couple of IV's and generate a NaN. It's pretty trivial, so it's of little consequence whether that had occurred to you or not. It seems a bit odd to me - as someone once said, "NaN is a purely floating point concept".
    I thought you *might* find that mildly interesting in some way.
    Yeah - I assume way too much :-)
[reply]
      you could start with a couple of IV's and generate a NaN.

      The problem (for me) is that there are no IVs involved in your construction.

      The basic compile-time constant: 2**1025 never results in the construction of any IVs.

      The interpreter constructs a compile-time constant from the expression and stores it as an NV:

      Perl> use Devel::Peek;;
Perl> $x = 2**1025;;
Perl> Dump( $x );;
SV = NV(0xb4598) at 0x3d73ee8
  REFCNT = 1
  FLAGS = (NOK,pNOK)
  NV = 1.#INF

      [download]

      And then at runtime, one NV (value 1.#INF) is divided by another NV (also 1.#INF) and the results is an NV (value: -1.#IND):

      $y = $x / $x;;
Dump $y;;
SV = NV(0xb45a0) at 0x3d6c6a8
  REFCNT = 1
  FLAGS = (NOK,pNOK)
  NV = -1.#IND

      [download]

      No IVs were ever involved because the textual integer expression from the source code never made into the byte-coded Perl.

      With the rise and rise of 'Social' network sites: 'Computers are making people easier to use everyday'
      Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
      "Science is about questioning the status quo. Questioning authority".
      In the absence of evidence, opinion is indistinguishable from prejudice.
[reply]
[d/l]
[select]
        The problem (for me) is that there are no IVs involved in your construction

        C:\>perl -MDevel::Peek -le "Dump(2);"
SV = IV(0x1daf1b8) at 0x1daf1bc
  REFCNT = 1
  FLAGS = (PADTMP,IOK,READONLY,pIOK)
  IV = 2

C:\>perl -MDevel::Peek -le "Dump(1025);"
SV = IV(0x53ee70) at 0x53ee74
  REFCNT = 1
  FLAGS = (PADTMP,IOK,READONLY,pIOK)
  IV = 1025

        [download]
        Or, alternatively, I could have assigned the values 2 and 1025 to two IV's.

        The interpreter constructs a compile-time constant from the expression and stores it as an NV.

        Yes, nothing remarkable about that - most perl users (you and I included) are aware of this and generally comfortable with it.
        However, it implies to me that in perl, there are no distinct realms of ints and floats. And your remark that "NaN is a purely floating point concept" (which is correct) suddenly seemed a bit blurry wrt perl - because, in so many ways, perl doesn't draw a line between floats and ints - yet it does have NaNs.

        Anyway ... I should have tried harder to explain the triviality or, better still, just made a mental note of it and said nothing.

        I sure am glad I didn't create a demo where the upgrade from IV to NV occurred because of integer overflow ... then manipulate the NV to create a NaN ... then claim to have shown that a NaN *can* arise from integer overflow. Something like: 
        C:\>perl -le "$x= ~0; $x += 2; $x **= 35; $x /= $x; print $x;"
-1.#IND

        [download]
        ;-))

        (Complete and utter sophistry, of course.)

        Cheers,
        Rob
[reply]
[d/l]
[select]

In Section Seekers of Perl Wisdom