我怎样才能有多个类约束，所以如果A is an Eq and B is a Num，我可以说
f :: Eq a => a -> b`
or
f :: Num b => a -> b
那么，我怎样才能拥有Eq a => and Num b =>同时？
-
f :: Eq a => Num b => a -> b,
-
f :: Eq a -> Num b => a -> b, and
f :: Eq a, Num b => a -> b
没有做我想做的事。
他们通常被称为阶级约束, as Eq and Num称为类型类。
这个怎么样？
f :: (Eq a, Num b) => a -> b
括号很重要。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
