Als «haskell» getaggte Fragen

161
Warum nicht abhängig getippt werden?

Ich habe mehrere Quellen gesehen, die die Meinung widerspiegeln, dass "Haskell allmählich zu einer Sprache mit abhängiger Typisierung wird". Die Implikation scheint zu sein, dass Haskell mit immer mehr Spracherweiterungen in diese allgemeine Richtung driftet, aber noch nicht da ist. Grundsätzlich...

156
Spezialisierung mit Einschränkungen

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

147
Warum ist GHC so groß / groß?

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

144
Umgang mit Listentypen mit Esqueleto

Ich habe Datentypen definiert als: data ComitteeView = CommitteeView { committeeId :: CommitteeId , committeeMembers :: [Person] } data CommitteesView = CommitteesView { committeeView :: [CommitteeView] } So wie es aussieht, habe ich ein beständiges Modell definiert als: Person name...

143
Muss GHC-mod vollständige Typen für Typen verwenden?

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’ ||...

136
Auswendiglernen in Haskell?

Hinweise zur effizienten Lösung der folgenden Funktion in Haskell für große Zahlen (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) Ich habe Beispiele für das Auswendiglernen in Haskell gesehen, um Fibonacci-Zahlen zu lösen, bei denen alle Fibonacci-Zahlen (träge) bis zum erforderlichen n...

134
Mehrzeilige Befehle in GHCi

Ich habe Probleme bei der Eingabe mehrzeiliger Befehle in ghci. Der folgende zweizeilige Code funktioniert aus einer Datei: addTwo :: Int -> Int -> Int addTwo x y = x + y Aber wenn ich in ghci eingebe, erhalte ich eine Fehlermeldung: <interactive>:1:1: error: Variable not in scope:...

130
Unterschied zwischen "mod" und "rem" in Haskell

Was genau ist der Unterschied zwischen modund remin Haskell? Beide scheinen die gleichen Ergebnisse zu liefern *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divide by zero *Main> rem 1 0 *** Exception: divide by...