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

Đơn nguyên được lập chỉ mục là gì và động lực cho đơn nguyên này là gì? Tôi đã đọc rằng nó giúp theo dõi các tác dụng phụ. Nhưng chữ ký kiểu và tài liệu không dẫn tôi đến bất cứ đâu. Ví dụ nào về cách nó có …

98 haskell  monads 

Tôi mới học lập trình hàm và gần đây đang học tại Learn You a Haskell , nhưng khi tôi xem qua chương này , tôi đã gặp khó khăn với chương trình bên dưới: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got …

97 haskell  monads 

Hackage có một số gói dành cho máy biến áp đơn nguyên: mtl : Thư viện biến áp đơn nguyên máy biến áp : Máy xúc bê tông và máy biến áp đơn nguyên monads-fd : Các lớp đơn nguyên, sử dụng các phụ thuộc hàm monads-tf : Các lớp …

92 haskell  monads  monad-transformers 

Tôi đang làm việc thông qua việc Viết cho chính bạn một Đề án trong 48 giờ (tôi lên đến khoảng 85 giờ) và tôi đã bắt đầu phần Thêm biến và Bài tập . Có một bước nhảy lớn về mặt khái niệm trong chương này, và tôi ước …

91 variables  haskell  monads  state-monad  ioref 

Tôi thực sự có vẻ không hiểu về Map và FlatMap. Điều tôi không hiểu là làm thế nào để hiểu là một chuỗi các lệnh gọi lồng nhau đến bản đồ và bản đồ phẳng. Ví dụ sau đây là từ Lập trình chức năng trong Scala def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] …

87 scala  map  monads  for-comprehension 

Tôi không thể hiểu được quan điểm của Option[T]đẳng cấp trong Scala. Ý tôi là, tôi không thể nhìn thấy bất kỳ khuyến khích nào Nonekết thúc null. Ví dụ, hãy xem xét mã: object Main{ class Person(name: String, var age: int){ def display = println(name+" "+age) } def getPerson1: …

83 java  scala  null  functional-programming  monads 

Ai cũng biết rằng các chức năng ứng dụng được đóng lại trong thành phần nhưng các đơn nguyên thì không. Tuy nhiên, tôi đã gặp khó khăn khi tìm một ví dụ đối chiếu cụ thể cho thấy rằng không phải lúc nào các monads cũng sáng tác. Câu …

82 haskell  monads  composition  proof 

Tôi hiểu rằng đơn nguyên ST giống như một đứa em trai nhỏ của IO, đến lượt nó là đơn nguyên nhà nước có thêm RealWorldphép thuật. Tôi có thể hình dung tiểu bang và tôi có thể hình dung rằng RealWorld được bằng cách nào đó đưa vào IO, …

77 haskell  monads 

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 

Tôi đang cố gắng xác định một họ các máy trạng thái với các loại trạng thái khác nhau. Cụ thể, các máy trạng thái "phức tạp" hơn có các trạng thái được hình thành bằng cách kết hợp các trạng thái của các máy trạng thái đơn giản hơn. …

9 haskell  state  monads  monad-transformers  state-monad 

Tôi thực sự đang vật lộn với việc hiểu callCC. Tôi có được sức mạnh của Continuations và tôi đã sử dụng khái niệm này trong một số dự án của mình để tạo ra các khái niệm hay. Nhưng tôi chưa bao giờ cần phải sử dụng thứ gì …

9 haskell  functional-programming  monads 

Được biết, các phép biến đổi tự nhiên với chữ ký loại a -> aphải là các hàm định danh. Điều này theo sau bổ đề Yoneda nhưng cũng có thể được bắt nguồn trực tiếp. Câu hỏi này yêu cầu cùng một tài sản nhưng cho hình thái đơn …

8 haskell  monads  category-theory 

Các loại của bộ là cả monoidal cartoidian và cocartesian monoidal. Các loại của đẳng cấu chính tắc chứng kiến ​​hai cấu trúc đơn hình này được liệt kê dưới đây: type x + y = Either x y type x × y = (x, y) data Iso a b …

8 haskell  filter  monads  functor  category-theory 

Tôi đang cố gắng tạo kiểu dữ liệu của riêng mình, đây sẽ là một phần của lớp Monad, nhưng newtype Container a = Container a deriving Monad cho tôi lỗi này: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type …

8 haskell  instance  monads  newtype 

Đâ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