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

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 

Đoạn mã này Haskell chạy nhiều chậm với -O, nhưng -Onên không nguy hiểm . Bất cứ ai có thể cho tôi biết những gì đã xảy ra? Nếu nó quan trọng, đó là một nỗ lực để giải quyết vấn đề này và nó sử dụng tìm kiếm nhị …

87 haskell  optimization  ghc  compiler-bug 

Khi biên dịch ứng dụng Haskell của tôi với -Walltùy chọn, GHC phàn nàn về các phiên bản mồ côi, ví dụ: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Lớp kiểu ToSElemkhông phải của tôi, nó được định nghĩa bởi HStringTemplate . Bây giờ tôi biết cách khắc phục điều …

86 haskell  ghc  typeclass 

Đã cho : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Tôi muốn tạo Stringmột ví dụ về Fooable: instance Fooable String where toFoo = FooString GHC sau đó phàn nàn: Illegal instance declaration for …

85 haskell  ghc  typeclass  type-systems 

Tôi đã viết một đoạn nhỏ này của Haskell để tìm ra cách GHC chứng minh rằng đối với các số tự nhiên, bạn chỉ có thể giảm một nửa số chẵn: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data …

84 haskell  ghc  proof  haskell-platform  formal-verification 

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 

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 

Vấn đề Hãy xem xét các vấn đề thiết kế sau đây trong Haskell. Tôi có một EDSL đơn giản, tượng trưng trong đó tôi muốn biểu thị các biến và biểu thức tổng quát (đa thức đa biến) như x^2 * y + 2*z + 1. Ngoài ra, tôi …

9 haskell  casting  type-conversion  ghc  typeclass 

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