ghc

7Hitze

1Antwort

Wie kann man sagen, ob die Strenge tatsächlich von GHC abgeleitet wird?

Ich bin ein Haskell-Anfänger, und ich las kürzlich über Striktheitsanalyse auf the haskell wiki. GHC user's guide lautet: Der Strenge Analysator herausfindet, wenn Argumente und Variablen in einer Fun

9Hitze

1Antwort

Warum erzeugt GHC hier einen Gleichheitsbedingungsfehler und nicht einen Typabgleichfehler?

Nach von this question, ich bin mir nicht sicher, warum diese beiden Code-Snippets ganz andere Fehler erzeugen: zu diesem Verhalten f :: a -> b f x = x -- Couldn't match expected type `b' with actua

26Hitze

4Antwort

Boilerplate-freie Annotation von ASTs in Haskell?

Ich habe mit dem Elm-Compiler herumgespielt, der in Haskell geschrieben ist. Ich mag einige Optimierungen für sie zu Beginn der Umsetzung, und einen Teil davon beinhaltet den AST durchlaufen und „Anme

5Hitze

1Antwort

Warum benötigt Haskell, dass alle Bibliotheken Profiling-fähig für das Profiling sind?

Q: Profile Haskell without installing installing profiling libraries for all dependencies A: Sie können es nicht. Installiere sie einfach, was ist das Problem? Warum? Wenn ich nur meinen Code profilie

6Hitze

2Antwort

Wissen die GHC-Umschreibungsregeln syntaktischen Zucker?

Zum Beispiel mit Listen, wenn ich eine Regel mit der LHS von myFn [x] schreibe, wird es auch in der Lage sein zu feuern, wenn der Programmierer schreibt myFn (x:[])? Oder muss ich eine separate Regel

7Hitze

1Antwort

Was bestimmt das Verknüpfungsverhalten für GHC unter OS X?

Ich beobachte ein anderes Verknüpfungsverhalten zwischen zwei Rechnern beim Kompilieren einer Binärdatei. Jeder hat die gleiche GHC (7.8.3), denselben Code, gleichen Flags (-Wall -O2), gleichen libgmp

5Hitze

1Antwort

GHC-Pipeline: Core, STG - ASTs oder Text?

In der Pipeline von GHC gibt es eine Phase der Übersetzung des Haskell-Quellcodes in Core und dann (nicht unbedingt als nächster nächster Schritt) die Übersetzung von Core in STG. Allerdings entgeht m

8Hitze

2Antwort

Warum funktioniert eine strikte Längenfunktion merklich schneller?

Ich spielte mit Definitionen herum, um das Bewertungsmodell besser zu verstehen, und schrieb zwei für die Länge einer Liste. Die naive Definition: len :: [a] -> Int len [] = 0 len (_:xs) = 1 + len x

14Hitze

1Antwort

Typ Familien Shenanigans in GHCi

Hier ist mein Code: {-# LANGUAGE TypeFamilies, TypeOperators, DataKinds, PolyKinds, FlexibleContexts, UndecidableInstances #-} module Foo where import Data.Singletons.Prelude import Data.Type.Equ

7Hitze

2Antwort

Hilfe GHC ein Int in Gleichheit auf eine konstanten

unbox: main = do n <- fmap read $ getLine :: IO Int if (999999 == n) then putStrLn "equal" else return() Und hier ist das entsprechende Bit des Kerns, wenn sie mit ghc --make -O2 -ddump-to