gpt4 book ai didi

haskell - 当类型变量应该不明确时,为什么会推断出 Integer?

转载 作者:行者123 更新时间:2023-12-04 02:16:24 24 4
gpt4 key购买 nike

<分区>

这个微型 Haskell 程序从控制台读取两个以空格分隔的数字并打印它们的和:

main = do
line <- getLine
let n1:n2:_ = map read $ words line
print $ n1 + n2

我预计编译会因为歧义而失败:+n1n2 的类型限制为 Num typeclass 而不是特定类型。然而 GHC 7.10 成功编译它推断 Integer 类型(将 + 替换为 / 将推断类型更改为 Double)。对此有何解释?

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com