Re: The Inf type

2008-06-03 Thread TSa
HaloO, John M. Dlugosz wrote: I don't know why he's calling it an "Int with non-uniform spacing" unless he is complaining about what happens when you store ints in floats: it rounds off to the mantissa size. With uniform spacing you have constant $step = 1; and $x++; # means $x = $x +

Re: The Inf type

2008-06-03 Thread Brandon S. Allbery KF8NH
On 2008 Jun 3, at 4:19, John M. Dlugosz wrote: Jon Lang dataweaver-at-gmail.com |Perl 6| wrote: e . Learn from the Haskell folks, who are still trying to untangle the mess they made of their numeric hierarchy (see http://haskell.org/haskellwiki/Mathematical_prelude_discussion). I'll loo

Re: The Inf type

2008-06-03 Thread TSa
HaloO, Mark J. Reed wrote: In what the heck mathematical world is the square root of two an infinite value? Irrationality and infinitude are not the same thing; in particular, there are an (uncountably) infinite number of irrational numbers... I don't know what you accept as an infinity but t

Re: The Inf type

2008-06-03 Thread John M. Dlugosz
Jon Lang dataweaver-at-gmail.com |Perl 6| wrote: e . Learn from the Haskell folks, who are still trying to untangle the mess they made of their numeric hierarchy (see http://haskell.org/haskellwiki/Mathematical_prelude_discussion). I'll look it over. That said, note that we're not

Re: The Inf type

2008-06-03 Thread Jon Lang
Brandon S. Allbery wrote: > John M. Dlugosz wrote: >> Jon Lang wrote: >>> type (i.e., 'num'). Somehow, I had got it into my head that Num was a >>> role that is done by all types that represent values on the real >>> number line, be they integers, floating-point, rationals, or >>> irrationals. An

Re: The Inf type

2008-06-03 Thread Brandon S. Allbery KF8NH
On 2008 Jun 3, at 3:15, John M. Dlugosz wrote: Jon Lang dataweaver-at-gmail.com |Perl 6| wrote: type (i.e., 'num'). Somehow, I had got it into my head that Num was a role that is done by all types that represent values on the real number line, be they integers, floating-point, rationals, or

Re: The Inf type

2008-06-03 Thread John M. Dlugosz
Jon Lang dataweaver-at-gmail.com |Perl 6| wrote: ; I see. We just had a role-vs-class cognitive disconnect. Officially, Num is the autoboxed version of the native floating point type (i.e., 'num'). Somehow, I had got it into my head that Num was a role that is done by all types that represent v

Re: The Inf type

2008-06-03 Thread John M. Dlugosz
Jon Lang dataweaver-at-gmail.com |Perl 6| wrote: TSa wrote: John M. Dlugosz wrote: The sqrt(2) should be a Num of 1.414213562373 with the precision of the native floating-point that runs at full speed on the platform. That makes the Num type an Int with non-uniform spacing. E.g.

Re: The Inf type

2008-06-02 Thread Jon Lang
Ryan Richter wrote: > Jon Lang wrote: >> TSa wrote: >> > John M. Dlugosz wrote: >> >> The sqrt(2) should be a Num of 1.414213562373 with the precision of the >> >> native floating-point that runs at full speed on the platform. >> > >> > That makes the Num type an Int with non-uniform spacing. E.g.

Re: The Inf type

2008-06-02 Thread Ryan Richter
On Mon, Jun 02, 2008 at 11:50:20AM -0700, Jon Lang wrote: > TSa wrote: > > John M. Dlugosz wrote: > >> The sqrt(2) should be a Num of 1.414213562373 with the precision of the > >> native floating-point that runs at full speed on the platform. > > > > That makes the Num type an Int with non-uniform

Re: The Inf type

2008-06-02 Thread Mark J. Reed
On Fri, May 9, 2008 at 9:10 AM, TSa <[EMAIL PROTECTED]> wrote: > E.g. sqrt(2) might return a special Inf that can be lazily > stringified to an arbitrary long sequence of digits of sqrt(2). In what the heck mathematical world is the square root of two an infinite value? Irrationality and infinitu

Re: The Inf type

2008-06-02 Thread Jon Lang
TSa wrote: > John M. Dlugosz wrote: >> The sqrt(2) should be a Num of 1.414213562373 with the precision of the >> native floating-point that runs at full speed on the platform. > > That makes the Num type an Int with non-uniform spacing. E.g. there > are Nums where $x++ == $x. And the -Inf and +Inf

Re: The Inf type

2008-06-02 Thread TSa
HaloO, John M. Dlugosz wrote: The sqrt(2) should be a Num of 1.414213562373 with the precision of the native floating-point that runs at full speed on the platform. That makes the Num type an Int with non-uniform spacing. E.g. there are Nums where $x++ == $x. And the -Inf and +Inf were better

Re: The Inf type

2008-05-09 Thread John M. Dlugosz
TSa Thomas.Sandlass-at-barco.com |Perl 6| wrote: E.g. sqrt(2) might return a special Inf that can be lazily stringified to an arbitrary long sequence of digits of sqrt(2). ??? The sqrt(2) should be a Num of 1.414213562373 with the precision of the native floating-point that runs at full spe

Re: The Inf type

2008-05-09 Thread TSa
HaloO, I wrote: John M. Dlugosz wrote: > I wrote a complete treatment of Inf support. > Please take a look at "24.26 Infinite" on pages 116-119, and > "3.11.3 Infinities" on pages 26-27. I have a lot to say to that. Please give me time. I find your treatment of Inf too Num centric. E.g. al