«ghc» 태그된 질문

현재 행동 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 = show _ …

103 haskell  types  ghc 

이 Haskell 코드는에서 훨씬 느리게 실행 -O되지만 위험하지-O 않아야합니다 . 누가 무슨 일이 있었는지 말해 줄 수 있습니까? 중요한 경우이 문제 를 해결하려는 시도 이며 이진 검색 및 영구 세그먼트 트리를 사용합니다. import Control.Monad import Data.Array data Node = Leaf Int -- value | Branch Int Node Node -- sum, …

87 haskell  optimization  ghc  compiler-bug 

-Wall옵션을 사용하여 내 Haskell 애플리케이션을 컴파일 할 때 GHC는 고아 인스턴스에 대해 다음과 같이 불평합니다. Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result 타입 클래스 ToSElem는 내 것이 아니며 HStringTemplate에 의해 정의됩니다 . 이제이 문제를 해결하는 방법 (인스턴스 선언을 Result가 선언 된 모듈로 이동)을 알고 있으며 GHC가 고아 인스턴스를 피하는 것을 …

87 haskell  ghc  typeclass 

주어진 : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo 다음 String의 인스턴스 를 만들고 싶습니다 Fooable. instance Fooable String where toFoo = FooString GHC는 다음과 같이 불평합니다. Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

GHC가 자연수의 경우 짝수를 반으로 만 줄일 수 있음을 어떻게 증명하는지 알아 내기 위해이 작은 하스켈을 썼습니다. {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: Parity where Flip …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Happstack Lite는 blaze-html 버전 0.5를 얻고 버전 0.4를 원하기 때문에 저를 깨고 있습니다. Cabal은 0.4.3.4 및 0.5.0.0 버전 이 모두 설치되어 있다고 말합니다 . 0.5.0.0을 제거하고 이전 버전 만 사용하고 싶습니다. 그러나 cabal에는 "uninstall"명령이 없으며를 시도 ghc-pkg unregister --force blaze-html하면 ghc-pkg명령이 무시되었다고합니다. 어떡하죠? 업데이트 : 그것을 믿지 마십시오 . ghc-pkg명령을 …

82 haskell  ghc  cabal 

Haskell을 배우면서 실제 코드에 사용되는 언어 확장 이 많이 있음을 알 수 있습니다 . 초보자로서 사용법을 배워야합니까, 아니면 피해야합니까? 나는 그것이 Haskell 98과의 호환성을 깨고 코드를 거의 GHC로 제한한다는 것을 알았습니다. 그러나 Hackage에서 패키지를 찾아 보면 어쨌든 대부분의 패키지가 GHC 전용임을 알 수 있습니다. 그렇다면 언어 확장 사용에 대한 커뮤니티의 …

78 haskell  ghc 

왜 GHCi가 아래에 잘못된 답변을합니까? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 파이썬 3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 업데이트 Haskell의 (^) 기능을 다음과 같이 구현합니다. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) | otherwise …

12 haskell  floating-point  ghc  ghci 

문제 Haskell의 다음 설계 문제를 고려하십시오. 변수 및 일반 표현식 (다변량 다항식)을 표현하려는 단순하고 상징적 인 EDSL이 x^2 * y + 2*z + 1있습니다. 또한, 나는 표정, 말을 통해 특정 기호 방정식을 표현 할 x^2 + 1 = 1뿐만 아니라 정의 처럼 x := 2*y - 2. 목표는 다음과 같습니다. …

9 haskell  casting  type-conversion  ghc  typeclass