RE: [Haskell] getArgs, maxBound, float division: pure functions?

2005-10-12 Thread Ralf Lammel
Just for the record, Cobol has a long history of specifying local rounding options. More recently, the options for rounding are elaborated in the context of adding standard arithmetic. http://www.cobolportal.com/j4/files/05-0152.doc Ralf > -Original Message- > From: [EMAIL PROTECTED] [ma

Re: [Haskell] getArgs, maxBound, float division: pure functions?

2005-10-12 Thread Bjorn Lisper
John Meacham: >On Wed, Oct 12, 2005 at 12:05:39AM -0400, David Menendez wrote: >> In principle, you could use seperate types to distinguish floats with >> different rounding modes, but I imagine this would be difficult or >> annoying to implement. > >I think it would make more sense to have differe

Re: [Haskell] getArgs, maxBound, float division: pure functions?

2005-10-11 Thread John Meacham
On Wed, Oct 12, 2005 at 12:05:39AM -0400, David Menendez wrote: > In principle, you could use seperate types to distinguish floats with > different rounding modes, but I imagine this would be difficult or > annoying to implement. I think it would make more sense to have different operations for ea

Re: [Haskell] getArgs, maxBound, float division: pure functions?

2005-10-11 Thread David Menendez
[EMAIL PROTECTED] writes: > Regarding argument 1: the value of |maxBound :: Int| is also the > function of the environment. Haskell98 Report says [p82, Section > 6.4] > >The finite-precision integer type Int covers at least the range >[ - 2^29 , 2^29 - 1 ]. As Int is an instance of the B

[Haskell] getArgs, maxBound, float division: pure functions?

2005-10-10 Thread oleg
The question of getArgs as a pure function has already been debated on this list back in January: http://www.haskell.org/pipermail/haskell/2005-January/015184.html The topic seems worth revisiting as it expands to a bigger, and perhaps, a bleaker picture. To recap, there were two arguments fo