Enum on Float/Double

Lennart Augustsson lennart at augustsson.net
Tue Oct 21 23:46:18 EDT 2003


I think you need to be careful when you reach the smallest
number that can be normalized.  Let's face it, Haskell just
doesn't provide the right functions for this. :)

	-- Lennart

Hal Daume III wrote:
> This works great for when x/=0...is there a good (Haskell) solution for 
> the smallest positive float?
> 
> On Tue, 21 Oct 2003, Lennart Augustsson wrote:
> 
> 
>>So this has been a while, but i think that decodeFloat,
>>incrementing the mantissa, encodeFloat might work.
>>But then again, it might not. :)
>>
>>	-- Lennart
>>
>>Hal Daume III wrote:
>>
>>>>>My preference would be for succ (+-0) to return the smallest positive
>>>>>real, since then you could define succ x to be the unique y with
>>>>>x < y and forall z . z < y => not (x < z), where such a y exists, and
>>>>>I'm not sure if the Haskell standard knows about signed zeros.
>>>>
>>>>Is this really useful?  Why would you need this number?  Peano
>>>>artithmetic on reals? :-)
>>>
>>>
>>>Is there any way to do this (yet)?  I found a case where I really need:
>>>  f :: Float -> Float
>>>where
>>>  f x is the least y such that x < y
>>>
>>>even if i have to FFI to C, I'd really like a solution.
>>>
>>>any help would be appreciated.
>>>
>>> - Hal
>>>
>>>
>>>_______________________________________________
>>>Haskell mailing list
>>>Haskell at haskell.org
>>>http://www.haskell.org/mailman/listinfo/haskell
>>>
>>
>>
> 




More information about the Haskell mailing list