3
Tại sao FunctionalDependency cần thiết để xác định MonadReader?
Tôi chỉ cần hiểu định nghĩa của lớp MonadReader class Monad m => MonadReader r m | m -> r where ... Sau khi đọc tài liệu về Phụ thuộc chức năng trong Haskell, bây giờ tôi có thể hiểu rằng | m -> rchỉ định biến loại đó rđược …