monads

6Nhiệt

1Trả lời

Có cách nào để tạo ra hai máy biến áp đơn nguyên nếu chúng thuộc loại khác nhau, nhưng đơn nguyên cơ bản của chúng là cùng loại?

Tôi không thể làm gì để mở rộng câu hỏi. Nhưng đây là một trường hợp sử dụng: giả sử bạn có hai máy biến áp đơn nguyên, t và s, chuyển so với cùng đơn nguyên m: master :: (MonadTrans t, Monad m) => t

6Nhiệt

1Trả lời

Tổng quát "chuỗi" cho tất cả các functors?

tôi có mã này: fmapM :: Monad m => (a -> m b) -> (t, a) -> m (t, b) fmapM f (id, e) = do ev <- f e return (id, ev) mà về cơ bản áp dụng cho các chức năng để các yếu tố thứ 2 trong tuple v

7Nhiệt

1Trả lời

Giải thích luật Monad trong F #

Đây là Explanation of Monad laws trong Haskell. Giải thích luật Monad trong F # như thế nào? bind (M, trở về) tương đương với M. bind ((cửa sổ mới x), f) là tương đương với f x. liên kết (liên kết (m,

6Nhiệt

1Trả lời

Đây có phải là việc triển khai bộ kết hợp điểm cố định không?

Tôi cho rằng điều này không thể được gọi là "đệ quy điểm cố định" vì nó quá đơn giản. Tuy nhiên, gần đây tôi đã nhận ra nó thực sự có thể là. Tôi đã triển khai hiệu quả đệ quy điểm cố định chưa? Dưới

17Nhiệt

1Trả lời

Làm thế nào để bạn giải thích sự kết hợp của toán tử liên kết trong biểu thức haskell này?

Nếu không có bất kỳ dấu ngoặc đơn: Prelude> [1,2] >>= \n -> ['a', 'b'] >>= \ch -> return (n, ch) [(1,'a'),(1,'b'),(2,'a'),(2,'b')] ngoặc giả associativity trái: Prelude> [1,2] >>= (\n -> ['a', 'b']

6Nhiệt

3Trả lời

Monads từ mọi góc độ - Toán học, sơ đồ và chương trình

Tôi đang cố gắng hòa giải định nghĩa Phân loại của Monad với các biểu diễn/định nghĩa chung khác mà tôi đã thấy trong một số hướng dẫn/sách khác. Dưới đây, tôi (có lẽ mạnh mẽ) cố gắng để mang lại hai

5Nhiệt

1Trả lời

Xác định trường hợp đơn vị scalaz cho danh sách không có hình dạng

Tôi đã cố gắng xác định Monad (scalaz) cho shapeless HList thông qua point và bind triển khai. Vấn đề đầu tiên là đặc điểm HList không phải là kiểu hàm dựng, nhưng có thể được giải quyết bằng kiểu lam

5Nhiệt

1Trả lời

Gói Haskell nào có đơn vị functor/monad?

Tôi đang tìm kiếm các đơn vị functor/đơn nguyên data Unit a = Unit tôi có thể dễ dàng tái tạo nó, nhưng tôi không muốn lặp lại một cái gì đó này cơ bản. Nó được sử dụng để sống trong Control.Functor

5Nhiệt

4Trả lời

Có thể thay đổi loại đơn nguyên theo một trình tự đơn sắc không?

Tôi biết nó có thể thay đổi kiểu bọc, do đó bạn có thể có f :: (a -> m b) g :: (b -> m c) f >>= g :: (a -> m c) nhưng là nó có thể thay đổi m? Nếu m là MonadError và được triển khai cả bởi Either

24Nhiệt

1Trả lời

mới hành vi desugaring trong Scala 2.10.1

Giả sử tôi có lớp monadic này: case class Foo[A](xs: List[A]) { def map[B](f: A => B) = Foo(xs map f) def flatMap[B](f: A => Foo[B]) = Foo(xs flatMap f.andThen(_.xs)) def withFilter(p: