Haskell:默认类型的约束
Haskell:默认类型的约束
提问于 2010-05-19 07:53:31
考虑这个例子：
applyKTimes :: Integral i => i -> (a -> a) -> a -> a
applyKTimes 0 _ x = x
applyKTimes k f x = applyKTimes (k-1) f (f x)
applyThrice :: (a -> a) -> a -> a
applyThrice = applyKTimes 3applyThrice中的3由GHC缺省为Integer，如使用-Wall编译时所示
Warning: Defaulting the following constraint(s) to type 'Integer'
'Integral t'
arising from a use of 'applyKTimes'所以我猜Integer是默认的Integral a => a。
- 有没有办法也为其他约束定义“默认类型”？
- 使用默认类型是不好的做法吗？(在使用
-Wall..)
时，它确实会抱怨
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/2861988
复制相关文章
相似问题