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

Trong khi giải thích cho ai đó loại lớp X là gì, tôi đấu tranh để tìm các ví dụ tốt về cấu trúc dữ liệu chính xác là X. Vì vậy, tôi yêu cầu các ví dụ cho: Một constructor kiểu không phải là Functor. Một hàm tạo kiểu …

209 haskell  monads  functor  applicative 

Người đăng ký soạn, đơn nguyên thì không. Câu nói trên có nghĩa là gì? Và khi nào thì cái này thích hơn cái khác?

110 haskell  functional-programming  monads  monad-transformers  applicative 

Thư viện chuẩn Haskell typeclasses MonadPlus, Alternativevà Monoidmỗi thứ cung cấp hai phương thức có ngữ nghĩa về cơ bản giống nhau: Một giá trị rỗng: mzero, empty, hoặc mempty. Một nhà điều hành a -> a -> amà gia nhập giá trị trong typeclass với nhau: mplus, <|>, hoặc …

83 haskell  functional-programming  typeclass  applicative  monoids 

Tôi đang học Ứng dụng của Haskell. Dường như với tôi (có lẽ tôi đã sai) rằng purechức năng này không thực sự cần thiết, ví dụ: pure (+) <*> [1,2,3] <*> [3,4,5] có thể được viết như (+) <$> [1,2,3] <*> [3,4,5] Ai đó có thể giải thích lợi …

19 haskell  applicative 

Kiểu chữ Applicativeđại diện cho functor đơn hình lỏng lẻo bảo tồn cấu trúc đơn hình cartesian trên danh mục các hàm được gõ. Nói cách khác, được đưa ra các đẳng cấu chính tắc chứng kiến (,)tạo thành một cấu trúc đơn hình: -- Implementations left to the motivated …

9 haskell  functor  applicative  category-theory 

Đây là bài viết SO tôi sẽ đề cập đến . Ngoài ra, tôi sẽ sử dụng các đoạn giống như OP trong câu hỏi đó để không tách các tài liệu . Người ta biết rằng một ArrowApplythể hiện mang lại một Monad và ngược lại: newtype ArrowMonad a …

8 haskell  monads  applicative  category-theory  arrows 

Luật Naturality quy định rằng: t . traverse f == traverse (t . f) -- for every applicative transformer t Bây giờ đối với RHS của luật, nếu f có loại Applicative a => x -> a y, thì t phải là loại (Applicative a, Applicative b) => a y …

8 haskell  types  applicative  traversable