Pytania otagowane jako ghc

Glasgow Haskell Compiler to najnowocześniejszy kompilator typu open source i interaktywne środowisko dla języka funkcjonalnego Haskell. Użyj tego tagu w przypadku pytań dotyczących GHC, a nie ogólnie Haskell, ponieważ prawie wszyscy będą go używać, chyba że określono inaczej.

Czy istnieje sposób, aby GHC zapewniał ograniczenia klasy typu dla wpisanych otworów?

Obecne zachowanie 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

Dlaczego ten kod Haskell działa wolniej z -O?

Ten fragment kodu Haskella działa znacznie wolniej -O, ale nie -Opowinien być niebezpieczny . Czy ktoś może mi powiedzieć, co się stało? Jeśli ma to znaczenie, jest to próba rozwiązania tego problemu i wykorzystuje wyszukiwanie binarne i trwałe drzewo segmentów: import Control.Monad import Data.Array data Node = Leaf Int -- …

87 haskell optimization ghc compiler-bug

Osierocone instancje w Haskell

Podczas kompilowania mojej aplikacji Haskell z -Wallopcją GHC narzeka na osierocone instancje, na przykład: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Klasa typu ToSElemnie jest moja, jest zdefiniowana przez HStringTemplate . Teraz wiem, jak to naprawić (przenieść deklarację instancji do modułu, w którym zadeklarowano Wynik) i wiem, dlaczego GHC wolałby …

86 haskell ghc typeclass

Dlaczego nie mogę ustawić ciągu jako instancji typeklasy?

Biorąc pod uwagę : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Chcę utworzyć Stringprzykład Fooable: instance Fooable String where toFoo = FooString GHC następnie narzeka: Illegal instance declaration for `Fooable String' (All instance types …

85 haskell ghc typeclass type-systems

Jak czytać ten „dowód” GHC Core?

Napisałem ten mały fragment Haskella, aby dowiedzieć się, jak GHC udowadnia, że w przypadku liczb naturalnych można zmniejszyć o połowę tylko te parzyste: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x …

84 haskell ghc proof haskell-platform formal-verification

Jak mogę odinstalować wersję pakietu Cabal?

Happstack Lite psuje mi się, ponieważ dostaje blaze-html w wersji 0.5 i chce wersji 0.4. Cabal mówi, że zainstalowane są obie wersje 0.4.3.4 i 0.5.0.0. Chcę usunąć 0.5.0.0 i używać tylko starszej wersji. Ale Cabal nie ma polecenia „odinstalowania”, a kiedy próbuję ghc-pkg unregister --force blaze-html, ghc-pkgmówi , że moje …

82 haskell ghc cabal

Dziwne zachowanie (^) w Haskell

Dlaczego GHCi podaje poniżej nieprawidłową odpowiedź? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 AKTUALIZACJA Zaimplementowałbym funkcję Haskella (^) w następujący sposób. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) | …

12 haskell floating-point ghc ghci

Domniemana obsada typu statycznego (przymus) w Haskell

Problem Rozważ następujący problem projektowy w Haskell. Mam prosty, symboliczny EDSL, w którym chcę wyrażać zmienne i wyrażenia ogólne (wielomiany wielomianowe), takie jak x^2 * y + 2*z + 1. Ponadto chcę wyrazić pewne równania symboliczne zamiast wyrażeń, powiedzmy x^2 + 1 = 1, a także definicji , takich jak …

9 haskell casting type-conversion ghc typeclass

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.

Licensed under cc by-sa 3.0 with attribution required.