为什么欠约束类型有时会给出运行时错误？

Question

考虑以下：

do putStr ""
   return $ map read ["2"]

在GHCI中运行，这给出了

[*** Exception: Prelude.read: no parse

我期望一个“ambigious type variable”编译错误，但是这会在运行时出现。 为什么？

为了比较，以下三个示例确实给出了“模糊类型变量”错误：

map read ["2"]

do putStr ""
   return $ read "2"

do [1]
   return $ map read ["2"]

---

顺便说一句，这是我遇到这个的原始代码。

readInts :: String -> IO [Integer]
readInts f = do s <- readFile f
                return $ map read $ splitOneOf " \n" s

---

这已经解决了。 我的原始代码试图从列表末尾的“”读取。 当我在GHCI调查时，由于不同的原因，我收到了同样的例外。

Answer 1

这是因为GHCi的扩展默认规则 。 如果将相同的代码放在没有签名的文件中，您应该会看到预期的错误。

（在这种情况下，它可能是pick ()作为类型，这就是你得到解析错误的原因。）