Câu hỏi được gắn thẻ «comonad»

Đây là phần tiếp theo cho câu trả lời cho câu hỏi trước của tôi. Giả sử tôi cần ánh xạ từng mục a:Acủa List[A]đến b:Bvới hàm def f(a:A, leftNeighbors:List[A]): Bvà tạo List[B]. Rõ ràng là tôi không thể chỉ gọi maptrên danh sách mà tôi có thể sử dụng …

112 scala  functional-programming  zipper  comonad 

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ề …

105 haskell  typeclass  comonad 

Với bất kỳ loại vùng chứa nào, chúng ta có thể tạo Zipper (tập trung vào phần tử) và biết rằng cấu trúc này là một Dấu phẩy. Điều này gần đây đã được khám phá chi tiết tuyệt vời trong một câu hỏi Stack Overflow khác cho loại sau: …

80 haskell  zipper  deriving  comonad 

Vì trạng thái đơn nguyên có thể được nhân tố thành Sản phẩm (Trái - Functor) và Đầu đọc (Phải - Đại diện). Có cách nào để nhân tố Monad tiếp tục không? Dưới đây mã là nỗ lực của tôi, không gõ kiểm tra -- To form a -> …

11 haskell  monads  continuations  category-theory  comonad