monads

7Nhiệt

1Trả lời

Tôi đang cố gắng triển khai turtle graphics trong Haskell. Mục đích là để có thể viết một hàm như thế này: draw_something = do forward 100 right 90 forward 100 ... và sau đó có n

12Nhiệt

2Trả lời

(>) có phải loại bỏ tất cả các đầu ra bên trái không?

Tôi nghĩ rằng tôi hiểu được danh sách đơn lẻ nhưng sau đó tôi thấy tôi không. Đây là câu chuyện. Với danh sách m và chức năng k > let m = [1..10] > :t m m :: [Integer] > let k = replicate 2 > :t

9Nhiệt

1Trả lời

Tại sao không có << trong thư viện chuẩn Haskell?

Lớp Monad định nghĩa một phương pháp >>, mà trình tự hai hành động monadic: >> :: Monad m => m a -> m b -> m b Nhà điều hành ràng buộc >>= có lật đối số tương đương, =<<; cũng như các nhà điều hành

18Nhiệt

3Trả lời

Dịch từ đơn lẻ sang ứng dụng

OK, vì vậy tôi biết loại lớp học Applicative chứa gì và tại sao lại hữu ích. Nhưng tôi không thể quấn bộ não của tôi xung quanh cách bạn sử dụng nó trong một ví dụ không tầm thường. Xem xét, ví dụ, sa

8Nhiệt

2Trả lời

TraversableOnce, Future và Option trong Scala for comprehension

Tôi có một danh sách các id chuỗi biểu diễn các bản ghi DB. Tôi muốn tải chúng từ DB một cách không đồng bộ, sau đó tải từng bản ghi lên máy chủ từ xa một cách không đồng bộ, sau đó khi tất cả được tả

11Nhiệt

1Trả lời

Partiality Monad Transformer

Tôi đang cố gắng giải mã đơn vị IResult từ attoparsec thành một vài phần. Đây là IResult data IResult t r = Fail t [String] String | Partial (t -> IResult t r) | Done t r Điều này có

5Nhiệt

1Trả lời

Phân vùng có thể được áp dụng cho `a -> IO Bool` không?

Tôi có đoạn mã sau: import System.Directory import System.FilePath import Control.Monad (filterM) filesAndDirs dir = do entries <- getDirectoryContents dir let filtered = [dir </> e | e

7Nhiệt

1Trả lời

Cách sử dụng Reader Monad khi duyệt qua một cây cú pháp trừu tượng

Tôi có một cây cú pháp trừu tượng trong haskell được tạo từ Parsec. Tôi muốn có thể truy vấn cấu trúc của nó trong khi di chuyển nó cùng một lúc để dịch nó thành mã trung gian. Ví dụ, tôi cần phải biế

5Nhiệt

1Trả lời

phạm trù cho biến kiểu tạm thời

Tôi có một số lượng lớn các vị trí vector chức năng của các loại f :: (M.MVector v r, PrimMonad m) => v (PrimState m) r -> v (PrimState m) r -> m() Những chức năng chủ yếu là làm việc tại chỗ,

7Nhiệt

2Trả lời

Làm cách nào để triển khai Reader bằng monads miễn phí?

Ok, vì vậy tôi đã tìm ra cách để thực hiện Reader (và ReaderT, không hiển thị) bằng cách sử dụng operational gói: {-# LANGUAGE GADTs, ScopedTypeVariables #-} import Control.Monad.Operational data