haskell - 在 Haskell 中，是否有无穷大::Num a => a？

Question

我正在尝试实现一个数据结构，如果我使用无穷大来进行数值比较，它会很简单。请注意，这不是 maxBound/minBound，因为一个值可以 <= maxbound，但所有值都将是 < 无穷大。

没有希望？

Answer 1

那怎么样!事实证明，如果你只输入 1/0它返回 Infinity !在 ghci 上:

Prelude> 1/0
Infinity
Prelude> :t 1/0
1/0 :: (Fractional t) => t
Prelude> let inf=1/0
Prelude> filter (>=inf) [1..]

然后当然它会永远运行，永远不会找到大于无穷大的数字。 (但请参阅下面关于 [1..] 实际行为的 ehemient 评论)