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

Nhiều loại quang học có một đại diện van Laarhoven. Ví dụ, một Lensloại Lens s t a b có thể được biểu diễn dưới dạng: Functor f => (a -> f b) -> s -> f t Tương tự a Traversal, có thể được biểu diễn theo cách tương …

15 scala  haskell  functional-programming  lenses  monocle-scala 

Trong dự án Haskell của tôi khi tôi stack run, nó đang hiển thị như sau, nhưng vẫn chạy. Cảnh báo gì đây? Làm sao để tôi thoát khỏi nó? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been …

14 haskell  cabal  haskell-stack 

Real World Haskell, chương 4, trang 98 của bản in hỏi liệu wordscó thể được thực hiện bằng cách sử dụng các nếp gấp không và đây cũng là câu hỏi của tôi: Có thể không? Nếu không, tại sao? Nếu là nó, làm thế nào? Tôi đã đưa ra …

14 haskell  functional-programming  fold 

Tôi có một bài tập trong đó tôi phải xác định một loại để biểu diễn một danh sách có từ 0 đến 5 giá trị. Đầu tiên tôi nghĩ rằng tôi có thể giải quyết đệ quy như thế này: data List a = Nil | Content a (List …

14 haskell 

Khi tính toán IO (IO ()), cả hai (IO ())và ()được tính toán, vậy tại sao main :: IO (IO ()) main = print <$> (print "Hello, World!") in "Hello, World!" không phải IO "Hello, World!" -- ?? "Hello, World!"

14 haskell 

Tôi đang lang thang trong Khu vực hạn chế của Thư viện Haskell và tìm thấy hai phép thuật hèn hạ này: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: …

13 haskell  io  unsafe  unsafe-perform-io 

Trong ghci, khi tôi gõ :t (-) để tìm ra loại (-), nó trả về (-) :: Num a => a -> a -> a Tuy nhiên, khi tôi viết -1haskell trả về một số, dường như ngụ ý đó (-)là loại Num a => a -> a. Làm thế …

12 haskell 

Đây là mã mà tôi đã tìm thấy ở đâu đó nhưng muốn biết làm thế nào nó hoạt động: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Output: findIndices (== …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

Các seasonchức năng sử dụng chức năng đại số nhưng tôi cảm thấy như đang lặp đi lặp lại. Làm thế nào để tôi làm cho nó càng ngắn càng tốt? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | …

12 haskell  algebraic-data-types 

Tại sao GHCi đưa ra câu trả lời không chính xác dưới đây? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 CẬP NHẬT Tôi sẽ thực hiện chức năng (^) của Haskell như sau. powerXY :: Double -> Int -> Double powerXY x 0 = 1 …

12 haskell  floating-point  ghc  ghci 

Giống như tiêu đề nói: có gì đảm bảo cho đơn vị trả về hàm Haskell được đánh giá? Người ta sẽ nghĩ rằng không cần phải chạy bất kỳ loại đánh giá nào trong trường hợp như vậy, trình biên dịch có thể thay thế tất cả các cuộc …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

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 viết một gói bản vẽ với một số phần, và tôi có các toán tử và kiểu dữ liệu rải rác. Tuy nhiên tôi không muốn người dùng thêm các mô-đun tương ứng mỗi lần, vì nó sẽ khá lộn xộn, ví dụ tôi có một Pointlớp, một …

11 haskell  raku 

Tôi có một loại Id avà tôi đang cố gắng ngăn chặn vô tình ép buộc, ví dụ: an Id Doubleto an Id Int. Nếu tôi hiểu chính xác các loại vai trò, sau đây không nên biên dịch. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal …

11 haskell  roles  coerce 

Tôi đang cố gắng tạo một hàm F # sẽ trả về tổng của một danh sách intcác hàm lồng nhau tùy ý. I E. nó sẽ làm việc cho a list<int>, a list<list<int>>và a list<list<list<list<list<list<int>>>>>>. Trong Haskell tôi sẽ viết một cái gì đó như: class HasSum a where …

10 haskell  f#