monads

6Nhiệt

1Trả lời

Tạo monads analoguous cho IO đơn nguyên với nhà nước xích

Xin chào folks, Tôi khá mới để Haskell một lần nữa trong năm nay (sau khi sử dụng nó trong đầu những năm 1990 và sau đó một lần nữa vào đầu những năm 00). Tôi đang cố gắng để viết một số mã có sử dụng

19Nhiệt

4Trả lời

Mũi tên có thể làm gì mà Monads không thể?

Mũi tên dường như trở nên phổ biến trong cộng đồng Haskell, nhưng có vẻ như với tôi như Monads mạnh hơn. Những gì đạt được bằng cách sử dụng mũi tên? Tại sao Monads không thể được sử dụng thay thế?

6Nhiệt

1Trả lời

Làm thế nào để bạn lý do về thứ tự thực hiện các chức năng trong một ngăn xếp monadT?

Chủ đề chung: Trong khi tôi tìm thấy ý tưởng sắp xếp các monads với nhau rất hấp dẫn, tôi gặp rất nhiều rắc rối khi xem mã được thực hiện như thế nào và các lệnh thích hợp để chạy các lớp là gì. Dưới

13Nhiệt

3Trả lời

Làm cách nào để tôi thực hiện trả lại khối sớm?

Tôi đang cố gắng xóa một trang web bằng cách sử dụng Haskell và biên dịch các kết quả thành một đối tượng. Nếu vì bất kỳ lý do gì, tôi không thể lấy tất cả các mục từ các trang, tôi muốn ngừng cố xử l

10Nhiệt

1Trả lời

MonadFix bằng ngôn ngữ nghiêm ngặt

Tôi đang làm việc trên phần mở rộng camlp4 cho chú thích giống như haskell trong Ocaml, và cố gắng tìm hiểu cách GHC biên dịch các ràng buộc đệ quy (được kích hoạt bằng -XDoRec). Tôi tự hỏi liệu có th

9Nhiệt

1Trả lời

Tại sao bạn không cần sử dụng 'lift' khi tương tác với một monadT lồng nhau StateT trong trường hợp này?

Hãy nói rằng tôi có một monadT: type Wrap a = ReaderT Env (StateT Int (StateT Int Identity)) a Điều quan trọng cần lưu ý ở đây là một StateT được gói khác, và cả hai đều được bao bọc bên trong một M

5Nhiệt

1Trả lời

Không thể tìm thấy chữ ký thích hợp cho hàm bằng STUArray (không thể GHC)

Tôi đã xây dựng một hàm để tìm định thức của ma trận bằng ST-Monad và STArrays không được hộp (STUArray). Loại cho ma trận như sau: newtype Matrix e = Matrix (Array Int (UArray Int e)) có nghĩa là,

6Nhiệt

1Trả lời

Chuyển đổi [IO Int] thành IO [Int] trong Haskell?

tôi có mã này phù hợp với nhu cầu của tôi: f :: [IO Int] -> IO [Int] f [] = return [] f (x:xs) = do a <- x as <- f xs return (a:as) Nhưng tôi thougth sẽ có một cách xác định trước (

10Nhiệt

2Trả lời

ăn một biểu monadic vào trừ khi hoặc khi

Tôi thường thấy mình viết code đó trông như thế này: import System.Directory (doesFileExist) import Control.Monad (unless) example = do fileExists <- doesFileExist "wombat.txt" unless fil

9Nhiệt

3Trả lời

nguồn gốc của miễn phí Monad

Control.Monad.Free thực hiện một đơn nguyên miễn phí như: data Free f a = Pure a | Free (f (Free f a)) instance Functor f => Functor (Free f) where fmap f = go where go (Pure a) = Pure (f