haskell - 为什么 Int maxBound 不起作用？

Question

当我尝试

> Int maxBound

在 ghci 中，我得到

Not in scope: data constructor 'Int'

就算我 import Data.Int ，问题依旧。这里发生了什么？

Answer 1

编辑:该函数的官方文档位于 http://www.haskell.org/ghc/docs/7.0.3/html/libraries/base-4.3.1.0/Prelude.html#v:maxBound

首先，你应该做

Prelude> maxBound :: Int
9223372036854775807
Prelude> 

如果您查看 maxBound 的类型签名:

Prelude> :t maxBound
maxBound :: (Bounded a) => a

然后 maxBound是一个返回 a 类型的函数, 其中 a是 Bounded .但是，它不接受任何参数。 Int maxBound表示您正在尝试使用数据构造函数 Int 创建一些东西和参数 maxBound .

对于您的特定错误消息，您正在尝试使用 Int - 这是一个类型 - 作为一个值，导致你得到的错误。进口 Data.Int不会有帮助的。