Typeclass
顾名思义:type
的class
,类型的分类,同Java中的interface
类似。参看下例:
> :t (==)
(==) :: Eq a => a -> a -> Bool
=>
之前的Eq a
表示:a
是type
,Eq
是typeclass
,a
是Eq
的一个实例。
参考资料:
Typeclasses 101;
Why sum x y is of type (Num a) => a -> a -> a in Haskell?;
Explain Type Classes in Haskell。