Haskell loại chữ ký với nhiều khó khăn lớp

Question

Làm thế nào tôi có thể có nhiều hạn chế lớp, vì vậy nếu A là một Eq và B là một Num, tôi có thể nói một trong hai

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

hoặc

f :: Num b => a -> b 

Vì vậy, , làm cách nào tôi có thể có Eq a => và Num b => cùng một lúc?

• f :: Eq a => Num b => a -> b,
• f :: Eq a -> Num b => a -> b, và
• f :: Eq a, Num b => a -> b

không làm những gì tôi muốn.

Answer 1

Chúng thường được gọi là các ràng buộc của lớp, dưới dạng Eq và Num được gọi là loại lớp.

Làm thế nào về điều này?

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

Dấu ngoặc đơn là quan trọng.