Suchergebnisse für Anfrage "haskell"
Type Inferenz mit GADTs - a0 ist unantastbar
Sagen wir, ich habe dieses Programm {-# LANGUAGE GADTs #-} data My a where A :: Int -> My Int B :: Char -> My Char main :: IO () main = do let x = undefined :: My a case x of A v -> print v -- print xcompiles fein. Aber wenn ich im @ ...
Installieren Sie Haskell-Pakete mit cabal ohne Internetverbindung
Ich habe eine Maschine, die überhaupt keinen Internetzugang hat. Ich habe die Haskell-Plattform mithilfe des Installationsprogramms installiert, das ich von einem anderen Computer über ein Pendrive erhalten habe. Nun möchte ich das Paket ...
Debuggen von E / A in einem Paketmodul in GHCi
Ich mache Low-Level-E / A (für Bibliotheksbindungen) in Haskell und habe einen Segfault. Ich würde gerne GHCi's @ benutz:breche um herauszufinden, was los ist, aber hier ist was passiert: > import SDL > :break SDL.setPaletteColors cannot set ...
Haskell-Paket installiert, aber nicht gefunden
Ich habe Diagramme installiert und es scheint vorhanden zu sein, aber GHCi findet es nicht. Ich habe versucht, die lokale Sandbox zur Befehlszeile hinzuzufügen (-package-db), aber immer noch kein Glück. Irgendwelche Vorschläge C:\Users\guthrie> ...
Auf die "Standard-Show" in Haskell zugreifen?
Sagen Sie, Sie haben eine Datenstruktur (entlehnt von diesemFrag [https://stackoverflow.com/q/2529663/67579]): data Greek = Alpha | Beta | Gamma | Delta | Eta | Number IntJetzt kann man es zu einer Instanz von @ machShow durch Anhängen ...
Test, ob ein Wert als schwache Kopfnormalform bewertet wurde
st es in Haskell möglich zu testen, ob ein Wert als schwache Kopfnormalform bewertet wurde? Wenn eine Funktion bereits existiert, würde ich erwarten, dass sie eine Signatur wie @ ha evaluated :: a -> IO BoolEs gibt einige Orte, an denen ähnliche ...
Haskell: Standardmäßige Einschränkungen für die Eingabe von
Betrachten Sie dieses Beispiel: applyKTimes :: Integral i => i -> (a -> a) -> a -> a applyKTimes 0 _ x = x applyKTimes k f x = applyKTimes (k-1) f (f x) applyThrice :: (a -> a) -> a -> a applyThrice = applyKTimes 3Das3 imapplyThrice wird von GHC ...
Warum gibt es keine 'Alternative' Instanz für 'Control.Applicative.Const'
Es gibt eine InstanzMonoid a => Monoid (Const a b) für dasConst [http://hackage.haskell.org/package/base-4.7.0.2/docs/Control-Applicative.html#t:Const] functor vonControl.Applicative. Es gibt auch eine InstanzMonoid m => Applicative (Const m). ...
Was ist die indizierte Monade?
Was istindexed monad [https://hackage.haskell.org/package/indexed-0.1/docs/Control-Monad-Indexed.html] und die Motivation für diese Monade? Ich habe gelesen, dass es hilft, die Nebenwirkungen im Auge zu behalten. Aber die Typensignatur und die ...
Equal (=) Vs Pfeil nach links (<-) in haskell
Arbeitscode: import System main = do [file1, file2] <- getArgs --copy file contents str <- readFile file1 writeFile file2 strCrashing Code: import System main = do [file1, file2] = getArgs str = readFile file1 writeFile file2 strWenn ich es ...