Kiểu chữ Comonad trong Haskell là gì? Như trong Comonad từ Control.Comonad trong gói comonad (giải thích về bất kỳ gói nào khác cung cấp kiểu chữ Comonad cũng được hoan nghênh). Tôi đã mơ hồ nghe nói về Comonad, nhưng tất cả những gì tôi thực sự biết về nó là những gì cung cấp extract :: w a -> a, tương tự như của Monad return :: a -> m a.
Điểm thưởng khi ghi chú các lần sử dụng Comonad trong "đời thực" trong mã "thực".
Tôi thực sự muốn xem sự khác biệt giữa "co" và bình thường là gì. Tôi biết đơn nguyên là gì. Vì vậy, nếu tôi biết “co” có nghĩa là gì, tôi có thể tự kết luận, comonad là gì và hiểu nó một cách sâu sắc. Câu trả lời của Alexey Romanov không làm gì trong khía cạnh đó.
—
Evi1M4chine
@ Evi1M4chine: "co" (lỏng lẻo) có nghĩa là "lật mũi tên". Đây là một hình ảnh sơ bộ về điều đó. Xem xét các hoạt động đơn nguyên:
—
Dan Burton
return :: a ~> m a, flip bind :: (a ~> m b) -> (m a ~> m b). Đảo ngược các mũi tên nguệch ngoạc và bạn sẽ có được các hoạt động comonadic: extract :: a <~ w a, extend :: (a <~ w b) -> (w a <~ w b)( extract :: w a -> a, extend :: (w a -> b) -> w a -> w b)
Cảm ơn bạn @Dan Burton… vì vậy trong khi với một đơn nguyên, bạn làm việc ở “bên trong” (nhét những thứ mới và đã thay đổi vào), với một đơn nguyên, bạn làm việc ở “bên ngoài” (cuối cùng lấy mọi thứ ra hoặc chỉ để thay đổi chúng) . Quan điểm đó có đúng không? Bởi vì nó chắc chắn giúp ích rất nhiều cho sự hiểu biết sâu rộng.
—
Evi1M4chine
comonads có thể được sử dụng để mô hình các đồng hiệu ứng. Dưới đây là một giới thiệu tuyệt vời để coeffects: tomasp.net/coeffects
—
zeronone