haskell - 函数未在 GHCI 中计算

Question

如果我将 var 分配给 maxBound :

let bInt = maxBound

bInt 的计算打印 ()

但是如果我输入 bInt

bInt :: Int
prints : 9223372036854775807

为什么 bInt 在我输入之前才计算

bInt (bInt :: Int) ?

Answer 1

maxBound 是 Bounded 中的函数类型类。默认情况下，GHCi 似乎选择 () 的实例，该实例返回 ()。您可以通过添加类型签名来强制它使用另一个实例。

let bInt :: Int; bInt = maxBound
bInt -- 9223372036854775807

let x = maxBound
x :: () -- ()
x :: Bool -- True
x :: Char -- '\1114111'