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

(Tôi hy vọng câu hỏi này đúng chủ đề - Tôi đã cố gắng tìm kiếm câu trả lời nhưng không tìm thấy câu trả lời chính xác. Nếu câu hỏi này lạc đề hoặc đã được trả lời, vui lòng kiểm duyệt / xóa nó.) Tôi nhớ mình đã …

83 haskell  imperative-programming 

Tôi tự hỏi nếu có một số cách để làm cho Haskell chạy trên JVM (biên dịch hoặc thông dịch)? Có tồn tại JHaskell trên Sourceforge nhưng cái này dường như trống rỗng và chết. GHC sử dụng LLVM làm chương trình phụ trợ trình biên dịch. Sẽ là một …

83 haskell  jvm  jvm-languages  frege 

Happstack Lite đang phá vỡ tôi vì nó nhận được phiên bản blaze-html 0.5 và nó muốn có phiên bản 0.4. Cabal nói rằng cả hai phiên bản 0.4.3.4 và 0.5.0.0 đều được cài đặt. Tôi muốn xóa 0.5.0.0 và chỉ sử dụng phiên bản cũ hơn. Nhưng cabal không …

82 haskell  ghc  cabal 

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 

Nên liftIOdùng trong những trường hợp nào? Khi tôi đang sử dụng ErrorT String IO, liftchức năng hoạt động để nâng các hành động IO vào ErrorT, vì vậy liftIOcó vẻ như không cần thiết.

82 haskell  monad-transformers 

Làm cách nào để xác định hàm tương đương của hàm này (lấy từ learningnyouahaskell ) bên trong GHCi? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Nếu không có khai báo kiểu, GHCi chấp nhận định nghĩa hàm, nhưng nó kết thúc …

82 haskell  types  ghci  function-declaration 

Tôi đã đọc thuật ngữ này rất nhiều trong các blog về haskell và lập trình chức năng (đặc biệt là trong blog của sigfpe ) nhưng tôi không có manh mối về ý nghĩa của nó. Tôi thường không biết về nó, nhưng có lẽ tôi sẽ hiểu các …

81 haskell  functional-programming  metaprogramming  terminology  reification 

Tôi muốn làm một cái gì đó trong Haskell trông như thế này: main1 = do s <- getLine if s == "foo" then putStr "You entered foo" Rõ ràng điều này không hợp pháp vì không có else. Một giải pháp thay thế tôi đã nghĩ đến: nop :: …

81 haskell  syntax  io 

Với bất kỳ loại vùng chứa nào, chúng ta có thể tạo Zipper (tập trung vào phần tử) và biết rằng cấu trúc này là một Dấu phẩy. Điều này gần đây đã được khám phá chi tiết tuyệt vời trong một câu hỏi Stack Overflow khác cho loại sau: …

80 haskell  zipper  deriving  comonad 

Như hiện tại, câu hỏi này không phù hợp với định dạng Hỏi & Đáp của chúng tôi. Chúng tôi hy vọng câu trả lời sẽ được hỗ trợ bởi sự kiện, tài liệu tham khảo hoặc chuyên môn, nhưng câu hỏi này có thể sẽ thu hút sự tranh …

80 haskell 

Như tiêu đề của câu hỏi đã chỉ ra, tôi muốn biết đa hình Levity là gì và động lực của nó là gì? Tôi biết trang này có một số chi tiết trong đó, nhưng hầu hết các giải thích ở đó đều vượt qua đỉnh đầu của tôi. …

80 haskell 

Ai đó có thể giải thích các ống kính chức năng cho tôi không? Đó là một chủ đề khó khăn đáng ngạc nhiên đối với google và tôi đã không đạt được bất kỳ tiến bộ nào. Tất cả những gì tôi biết là chúng cung cấp chức năng …

80 haskell  functional-programming  lenses 

Tôi cần một hàm nhận hai Ints ( avà b) và trả về A/Blà Int. Tôi chắc chắn rằng đó A/Bsẽ luôn là một số nguyên. Đây là giải pháp của tôi: myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = …

79 haskell  int 

Trong Thế giới thực Haskell , Chương 4. về Lập trình Chức năng : Viết gấp bằng giấy gấp: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a …

79 haskell  recursion  fold 

Tôi bối rối bởi cách trình biên dịch haskell đôi khi đưa ra các kiểu ít đa hình hơn những gì tôi mong đợi, chẳng hạn như khi sử dụng các định nghĩa không có điểm. Có vẻ như vấn đề là "hạn chế đơn hình", được bật theo mặc …

78 haskell  types  polymorphism  type-inference  monomorphism-restriction