考虑这个例子:
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 3
applyThrice
中的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
..)时,它确实会抱怨
发布于 2010-05-19 08:17:13
是的,you can,尽管它并不像为每个类型类添加一个默认值那么简单,而且它只适用于Prelude
和标准库中的Num
及其子类。语法是default (t1, ..., tn)
,每个模块只能使用一个这样的声明。
例如,添加default (Int)
会将代码中Integral
的默认值更改为Int
。
(Integer, Double)
的缺省设置不仅仅是GHC策略:它来自Haskell 98 Report。(不过,GHCi确实有extended default rules。)
以下是当前系统的一些问题的a discussion。
https://stackoverflow.com/questions/2861988
复制相似问题