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

Đã đóng cửa. Câu hỏi này không đáp ứng các nguyên tắc về Stack Overflow . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó đúng chủ đề cho Stack Overflow. Đã đóng cửa 4 năm trước . …

106 scala  haskell  functional-programming  monads 

Tôi đang cố kích hoạt XRankNTypestrong GHCi. Làm thế nào để tôi làm điều này?

106 haskell  ghci  language-extension 

Tôi không thể tìm ra lý do tại sao m1 dường như được ghi nhớ trong khi m2 không có trong như sau: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 mất khoảng 1,5 giây trong lần gọi đầu tiên và một …

106 haskell  ghc  memoization 

Kiểu chữ Comonad trong Haskell là gì? Như trong Comonad từ Control.Comonad trong gói comonad (giải thích về bất kỳ gói nào khác cung cấp kiểu chữ Comonad cũng được hoan nghênh). Tôi đã mơ hồ nghe nói về Comonad, nhưng tất cả những gì tôi thực sự biết về …

105 haskell  typeclass  comonad 

Gần đây tôi đã phát hiện ra rằng các lỗ kiểu kết hợp với khớp mẫu trên các bản thử nghiệm mang lại trải nghiệm giống Agda khá tốt trong Haskell. Ví dụ: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * …

105 haskell  dependent-type 

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 mong đợi 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 …

104 haskell  comparison  lisp  language-comparisons 

Trong khi giải quyết một số Vấn đề của Project Euler để học Haskell (vì vậy hiện tại tôi là người mới bắt đầu hoàn toàn), tôi đã xem qua Vấn đề 12 . Tôi đã viết giải pháp (ngây thơ) này: --Get Number of Divisors of n numDivs :: …

104 haskell  performance  profiling 

An toàn kiểu của Haskell không ai sánh kịp, chỉ sau các ngôn ngữ được gõ phụ thuộc. Nhưng có một số phép thuật sâu sắc đang xảy ra với Text.Printf có vẻ khá khó hiểu. > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo …

104 haskell  printf  variadic-functions  polyvariadic 

Các kiểu dữ liệu đại số (ADT) trong Haskell có thể tự động trở thành các thể hiện của một số typeclasse (nhưShow,Eq) bằng cách lấy từ chúng. data Maybe a = Nothing | Just a deriving (Eq, Ord) Câu hỏi của tôi là, điều này derivinghoạt động như thế …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Tôi có ba hàm tìm phần tử thứ n của danh sách: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf …

104 haskell  if-statement  case 

Hôm qua tôi đã biết về một công cụ Haskell mới có tên là Stack . Ở lần đánh má hồng đầu tiên, có vẻ như nó thực hiện nhiều công việc giống như Cabal. Vì vậy, sự khác biệt giữa chúng là gì? Ngăn xếp có phải là sự …

104 haskell  cabal  haskell-stack 

Đã đóng cửa . Câu hỏi này cần được tập trung hơn . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để câu hỏi chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . …

103 haskell  f#  functional-programming 

Hành vi hiện tại Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for ‘it’: it = …

103 haskell  types  ghc 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b Tại sao chúng ta có ba chức năng khác nhau về cơ bản …

102 list  haskell  monads  redundancy  functor 

Tôi vừa bắt đầu một dự án Haskell mới và muốn thiết lập một quy trình kiểm tra tốt ngay từ đầu. Có vẻ như Haskell có rất nhiều công cụ kiểm tra tuyệt vời và độc đáo và nhiều cách khác nhau để tích hợp chúng. Tôi đã xem …

101 testing  haskell