Haskell的新手很抱歉,如果这是非常基本的
这个例子取自"真实世界Haskell" -
ghci> :type fst
fst :: (a, b) -> a
它们显示了该fst功能的类型,然后按照本段进行操作......
"结果类型fst是a.我们已经提到参数多态性使得真实类型不可访问:fst没有足够的信息来构造类型的值a,也不能将其a变成a b.所以唯一可行的有效行为(省略)无限循环或崩溃)它可以返回该对的第一个元素."
我觉得我错过了段落的基本点,也许是Haskell的重要内容.为什么fst函数不能返回类型b？为什么不能将元组作为一个参数,而只是返回一个Int(或任何其他类型的NOT a)？我不明白为什么它必须返回类型a？
谢谢
haskell ×1