为什么 Int maxBound 不起作用？

Question

当我在 ghci 中尝试时

> Int maxBound

，我得到

Not in scope: data constructor 'Int'

Even if I import Data.Int, still the Problem persists.这是怎么回事？

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 是有界。但是，它不接受任何参数。 Int maxBound 表示您正在尝试使用数据构造函数 Int 和参数 maxBound 创建某些内容。

对于您的特定错误消息，您尝试使用 Int - 这是一种类型 - 作为值，从而导致您收到错误。导入 Data.Int 没有帮助。

Answer 2

那不是有效的 Haskell。

maxBound< /a> 是一个常量，定义 Bounded 类< /a>：

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

要获取任何特定类型的绑定，您需要将其专门化为特定类型。 类型注释< /a> 由表达式的 :: 语法给出，如下所示：

Prelude> maxBound :: Int
9223372036854775807

Answer 3

即使这种情况 (ma​​xBound) 不是 TypeApplications GHC 编译器选项最有效的用法，我发现它与类型注释选项 :: （至少对于我这个刚踏上 Haskell 船的人来说）。

我承认它需要编译选项/编译指示，但它是我在 ~/.ghci 文件中全局激活的众多选项之一。而且申请起来很容易！

因此，事不宜迟，让我们在实践中看看它。以下是对我来说启用 TypeApplications 编译器选项的最常见选项。

1. 每个 GHCI 会话启用 TypeApplications

Prelude> :set -XTypeApplications
Prelude> maxBound @Int
9223372036854775807
Prelude> maxBound @Bool
True

1. 通过在文件 .ghci 中添加以下内容，在目录级别或操作系统用户级别启用 TypeApplications。

:set -XTypeApplications

然后在 GHCI 提示符下，

Prelude> maxBound @Int
9223372036854775807

1. 通过将以下内容放在文件开头，在 Haskell 文件级别启用 TypeApplications。

{-# LANGUAGE TypeApplications #-}

注释：

• 要在 GHCI 提示符中禁用此选项，

Prelude> :unset -XTypeApplications

• 这篇文章有点过于冗长，但它强调了此编译选项在很多情况下派上用场的情况。