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 different

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]

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

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 each