相关疑难解决方法(0)

当我在Haskell中检查函数类型时:t,例如我之前的问题中的那些,我倾向于得到如下结果:

Eq a => a -> [a] -> Bool
(Ord a, Num a, Ord a1, Num a1) => a -> a1 -> a
(Num t2, Num t1, Num t, Enum t2, Enum t1, Enum t) =>  [(t, t1, t2)]

看起来这不是一个微不足道的问题 - Haskell解释器如何选择文字来象征类型类？什么时候会选择a而不是t？什么时候会选择a1而不是b？程序员的观点是否重要？