Informal discussion about the progression of `base`

[atravers]

@Kleidukos

Regarding Partial Ord & Eq: Some things simply cannot have total equality or ordering. For instance Double, Float:

And for a language coming from a culture of mathematical foundations who like correctness, I think it’s a scandal.

…well, that’s the end of the abstract monadic IO type - it has an implementation but no denotation.

But I digress - from this older thread:

• this post by me;

• jaror:

  I would also like to point to this previous discussion on Reddit:

  r/haskell - What would be the right process to go about removing Eq Double…

  […]

• Bodigrim:

  IEEE 754 does define a total order on Double. It’s just that Haskell compare (and min, and max) choose to implement [something…“different”].

There are wishes, and then there are flights of fancy…