Als «ghc» getaggte Fragen

Aus den Dokumenten für GHC 7.6: [Y] Oft brauchen Sie gar nicht erst das Pragma SPEZIALISIEREN. Beim Kompilieren eines Moduls M berücksichtigt der Optimierer von GHC (mit -O) automatisch jede in M ​​deklarierte überladene Funktion der obersten Ebene und ist auf die verschiedenen Typen spezialisiert,...

Hier ist das Szenario: Ich habe Code mit einer Typensignatur geschrieben und GHC-Beschwerden konnten für einige xund nicht auf x ~ y schließen y. Normalerweise können Sie GHC einen Knochen werfen und einfach den Isomorphismus zu den Funktionseinschränkungen hinzufügen. Dies ist jedoch aus mehreren...

Ich fange an zu verstehen, wie das forallSchlüsselwort in sogenannten "existentiellen Typen" wie diesem verwendet wird: data ShowBox = forall s. Show s => SB s Dies ist jedoch nur eine Teilmenge der forallVerwendung, und ich kann mich einfach nicht auf die Verwendung in solchen Dingen...

Haskell (mit dem GHCCompiler) ist viel schneller als erwartet . Bei richtiger Verwendung kann es den Sprachen auf niedriger Ebene nahe kommen. (Eine Lieblingsbeschäftigung von Haskellers ist es, zu versuchen, innerhalb von 5% von C zu kommen (oder es sogar zu übertreffen, aber das bedeutet, dass...

Ich habe kürzlich eine Frage zu syntactic-2.0 bezüglich der Definition von gestellt share. Ich habe dies in GHC 7.6 arbeiten lassen : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b)...

Kern ist die Zwischensprache von GHC. Mit Reading Core können Sie die Leistung Ihres Programms besser verstehen. Jemand bat mich um Dokumentation oder Tutorials zum Lesen von Core, aber ich konnte nicht viel finden. Welche Dokumentation steht zum Lesen von GHC Core zur Verfügung? Folgendes habe...

GHC hat viele Optimierungen, die es durchführen kann, aber ich weiß nicht, was sie alle sind, wie wahrscheinlich und unter welchen Umständen sie durchgeführt werden sollen. Meine Frage ist: Welche Transformationen kann ich erwarten, dass sie jedes Mal oder fast jedes Mal angewendet werden? Wenn ich...

Ich habe Probleme, GHC dazu zu bringen, eine Funktion mit einer Klassenbeschränkung zu spezialisieren. Ich habe ein minimales Beispiel für mein Problem hier: Foo.hs und Main.hs . Die beiden Dateien werden kompiliert (GHC 7.6.2 ghc -O3 Main) und ausgeführt. HINWEIS: Foo.hs ist wirklich reduziert....

Gibt es eine einfache Antwort: Warum ist GHC so groß? OCaml: 2 MB Python: 15 MB SBCL: 9 MB OpenJRE - 26 MB GHC: 113 MB Nicht interessiert an der Evangelisation von "Warum sollte mir die Größe egal sein, wenn Haskell das richtige Werkzeug ist"; Dies ist eine technische

Ich versuche, das ghc-modvim-Plugin zu verwenden, um Typ- / Syntaxprüfungen usw. durchzuführen. Ich habe jedoch festgestellt, dass ghc-modin den Fehlermeldungen immer vollständige Pfadpfade verwendet werden, zum Beispiel: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ ||...

Wir entwickeln ein Programm, das "Nachrichten" empfängt und weiterleitet und dabei einen temporären Verlauf dieser Nachrichten führt, damit es Ihnen auf Anfrage den Nachrichtenverlauf mitteilen kann. Nachrichten werden numerisch identifiziert, haben normalerweise eine Größe von etwa 1 Kilobyte und...

Selbst trivial kleine Haskell-Programme werden zu gigantischen ausführbaren Dateien. Ich habe ein kleines Programm geschrieben, das (mit GHC) in die Binärdatei mit einer Größe von 7 MB kompiliert wurde! Was kann dazu führen, dass selbst ein kleines Haskell-Programm in die große Binärdatei...

Wie kann ich die tatsächliche Speichermenge ermitteln, die zum Speichern eines Werts eines Datentyps in Haskell erforderlich ist (hauptsächlich mit GHC)? Ist es möglich, es zur Laufzeit auszuwerten (z. B. in GHCi) oder ist es möglich, den Speicherbedarf eines zusammengesetzten Datentyps aus seinen...

Haskell hat eine Identitätsfunktion, die die Eingabe unverändert zurückgibt. Die Definition ist einfach: id :: a -> a id x = x Zum Spaß sollte dies also Folgendes ausgeben 8: f = id id id id id id id id id id id id id id id id id id id id id id id id id id id main = print $ f 8 Nach einigen...

Ich kann nicht herausfinden, warum m1 anscheinend gespeichert ist, während m2 nicht im Folgenden enthalten ist: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 benötigt beim ersten Anruf etwa 1,5 Sekunden und bei nachfolgenden Anrufen einen Bruchteil davon (vermutlich...

Aktuelles Verhalten 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...

Dieser Teil des Haskell-Codes läuft mit aber viel langsamer-O-O sollte aber ungefährlich sein . Kann mir jemand sagen, was passiert ist? Wenn es darauf ankommt, ist es ein Versuch, dieses Problem zu lösen , und es verwendet die binäre Suche und den persistenten Segmentbaum: import...

Gegeben : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Ich möchte Stringeine Instanz erstellen von Fooable: instance Fooable String where toFoo = FooString GHC beschwert sich dann: Illegal instance declaration for `Fooable String'...

Beim Kompilieren meiner Haskell-Anwendung mit der -WallOption beschwert sich GHC über verwaiste Instanzen, zum Beispiel: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Die Typklasse ToSElemgehört nicht mir, sondern wird von HStringTemplate definiert . Jetzt weiß ich, wie...

Ich habe dieses kleine Stück Haskell geschrieben, um herauszufinden, wie GHC beweist, dass man für natürliche Zahlen nur die geraden halbieren kann: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x ::...