Prelude不提供Bounded Double实例。这是因为Double在Haskell中(绑定要求)没有min / max参数,还是原因不同?
假设maxBound > x任何其他条件都成立x :: Bounded a => a,那么maxBound :: Doublebe 的值应该是多少?
> let nan = 0/0; infinity = 10.0**10000; in (nan > infinity, infinity > nan)
(False,False)
Run Code Online (Sandbox Code Playgroud)
由表示的数字Double是有界的,但类型Double中的值没有限制。