bối cảnh trong Haskell loại nhanh và nhiều lớp

Question

Trong chương 15 của Real World Haskell, một lớp kiểu được định nghĩa là gì:

class (Monad m) => MonadSupply s m | m -> s where 

Một vài đoạn văn sau, nó nói rằng >> = và trở về không cần phải được xác định vì bối cảnh. Nhưng không có giải thích thêm về ý nghĩa của ngữ cảnh.

Trình biên dịch biết MonadSupply là một bản sao của Monad nếu chỉ 'm' là một thể hiện của Monad?

Answer 1

"ngữ cảnh" chỉ là một phần giữa class và =>, trong trường hợp này là hạn chế Monad m. Và nó không quá nhiều mà nó "biết", nhiều hơn rằng nó thực thi nó - viết một thể hiện của MonadSupply cho một loại m mà cũng không có một trường hợp Monad sẽ tạo ra một lỗi trình biên dịch.