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

Tôi muốn viết một chương trình có luồng chính tạo ra một luồng mới để tính toán và chờ đợi nó kết thúc trong một khoảng thời gian. Nếu chủ đề con không hoàn thành trong thời gian nhất định, nó đã hết thời gian và bị giết. Tôi có …

8 multithreading  haskell  concurrency  timeout  blocking 

Tôi nhận được rằng seqđược sử dụng để cải thiện hiệu suất bằng cách tránh sự lười biếng không cần thiết. Tôi chỉ muốn biết tên bắt nguồn từ đâu? Là từ "trình tự" hay "tuần tự"? Và làm thế nào để tên liên quan đến đánh giá nghiêm ngặt?

8 haskell 

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

Tôi có một tá các loại mới như thế này: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Tôi muốn sử dụng lại các trường hợp hiện có: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Thực hiện các trường …

8 haskell  typeclass  newtype  deriving 

Tôi gặp rắc rối với Haskell bracket: Khi được chạy bên trong một đối số thứ hai (sử dụng forkFinally) bracketđối số thứ hai, tính toán giải phóng tài nguyên không chạy khi chương trình kết thúc. Đây là mã minh họa vấn đề (Tôi biết rằng trong trường hợp …

8 multithreading  haskell  resources 

Tôi đang cố gắng làm câu hỏi này từ bài tập về nhà của tôi: Cho tùy ý foo :: [[a]] -> ([a], [a]), viết ra một luật mà hàm foothỏa mãn, liên quan đến mapdanh sách và cặp. Một số bối cảnh: Tôi là sinh viên năm thứ nhất …

8 haskell  free-theorem 

Tại sao tôi nhận được một <<loop>>lỗi thời gian chạy vòng lặp vô hạn ( ) ở đây? phản hồi tập tin.hs: plus1 :: [Int]->[Int] -- add 1 to input stream plus1 [] = [] plus1 (x:xs) = (x+1): plus1 xs to10 :: [Int] -> [Int] -- stop the input …

8 haskell  lazy-sequences 

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 

Tôi chỉ cần hiểu định nghĩa của lớp MonadReader class Monad m => MonadReader r m | m -> r where ... Sau khi đọc tài liệu về Phụ thuộc chức năng trong Haskell, bây giờ tôi có thể hiểu rằng | m -> rchỉ định biến loại đó rđược …

8 haskell  monads  ghc  type-systems 

Tôi bối rối tại sao chức năng của tôi nestmà fkết hợp với chính nó nlần nest f 0 = id nest f n = f . nest f (n - 1) không bao giờ chấm dứt. Tôi đã nghĩ rằng nó sẽ "khớp mẫu" trong trường hợp khi ntrở …

8 haskell 

Tôi đang cố gắng thay đổi một danh sách trong haskell để bao gồm 0 giữa mọi phần tử. Nếu chúng tôi có danh sách ban đầu [1..20]thì tôi muốn thay đổi nó thành[1,0,2,0,3..20] Những gì tôi nghĩ về việc thực sự là sử dụng bản đồ trên mọi chức …

8 list  haskell