具有多个类约束的 Haskell 类型签名

Question

我怎样才能有多个类约束，所以如果 A是 Eq和 B是 Num ，我可以说

f :: Eq a => a -> b`

或者

f :: Num b => a -> b

那么，我怎样才能拥有 Eq a =>和 Num b =>同时？

f :: Eq a => Num b => a -> b ,

f :: Eq a -> Num b => a -> b , 和

f :: Eq a, Num b => a -> b

没有做我想做的事。

Answer 1

它们通常被称为类约束，如 Eq和 Num被称为类型类。

这个怎么样？

f :: (Eq a, Num b) => a -> b

括号很重要。