所以,我有一个非常简单的函数,它有两个参数:第一个是小时(0到23之间),第二个是一分钟(0到59之间).此功能返回小时加一分钟,并以美丽的风格格式化小时.例如,hour 11 12返回11 heures et 13 minutes.对不起,小时的法语格式.
所以,我在这个函数中使用了show函数,而参数需要是一个数字,所以我有类型声明(Num a, Show a) => a -> a -> String.但是,当我尝试该函数时,我得到一个错误,GHC告诉我添加Eq类型约束,但我不明白为什么Eq在这种情况下我需要类型约束.有代码(再次,对于函数中使用的法语文本感到遗憾,但我认为如果你不理解函数名和文本,这不是很重要):
heure :: (Num a, Eq a, Show a) => a -> a -> String
heure 23 59 = "Minuit"
heure 12 m = "Midi et " ++ show (m+1) ++ " minutes"
heure h 59 = show (h+1) ++ " heures"
heure h m = show h ++ " heures et " ++ show (m+1) ++ " minutes"
所以:如果我不使用Eq,我有一个错误,当我使用它时,我的代码是正确的.为什么？
谢谢你的解释!