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

Bất kỳ đơn nguyên cũng là một functor ứng dụng và bất kỳ functor ứng dụng là một functor. Ngoài ra, bất kỳ comonad là một functor. Có một khái niệm tương tự giữa comonad và functor, một cái gì đó giống như functor đồng ứng dụng, và các thuộc …

17 ct.category-theory  monad  applicative  comonad 

Bối cảnh . Tôi là một sinh viên cử nhân quan tâm đến nghiên cứu liên quan đến lý thuyết thể loại, đơn nguyên và Haskell, và tôi muốn tìm một chủ đề cho luận án cử nhân của mình trong lĩnh vực đó. Tôi đã nhìn vào tờ giấy …

16 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Nhớ lại việc thông qua việc tiếp tục chuyển đổi (CPS transform) mà mất để beta Một : = R R A (nơi R là cố định) và f : A → B để β f : β Một → β B được định nghĩa bởi βMộtMộtAβA : = RRMộtβMột:= …

13 functional-programming  monad  continuations  cps-transforms 

Theo dõi Ví dụ về Monad là gì thay thế nhưng không phải là MonadPlus? : Giả sử là một đơn nguyên. Các mối quan hệ betweem là một Thay thế , MonadPlusCatch và MonadPlusDistr là gì? mmmmmmĐối với mỗi sáu cặp có thể, tôi muốn có một bằng chứng …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

Đây là một sự nhầm lẫn tham khảo. Đôi khi tôi thấy mọi người sử dụng thuật ngữ "Ngôn ngữ kim loại tính toán của Moggi" để chỉ tính toán được trình bày bởi Moggi, và đôi khi để "tính toán lambda tính toán của Moggi". Đôi khi, họ sử …

8 reference-request  typed-lambda-calculus  monad 

Hầu hết các tài nguyên liên quan đến các khái niệm phân loại trong lập trình mô tả các đơn nguyên, nhưng tôi chưa bao giờ thấy một mô tả phân loại của các máy biến áp đơn nguyên. Làm thế nào các máy biến áp đơn nguyên có thể …

8 type-theory  functional-programming  ct.category-theory  haskell  monad