Re: [Haskell-beginners] ghci: inconsistent return values for succ

On 2015-10-17 19:17:04, Frothy Bits wrote:

Greetings,

Absolutely brand new to Haskell. Taking ghci v7.10.2 out for a spin, and I find I get inconsistent return values for succ n:

ghci> succ 3.14 4.1400000000000001

for example instead of the expected 4.14

Separately from the technical implementation of succ for floating point numbers, does it actually make sense to ask for the successor of a non-integral value? There must be some reason why Float and Double implement the Enum class, but I can't understand in what sense (mathematically) are real numbers enumerable. confused, iustin