Als «haskell» getaggte Fragen

Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerter Auswertung, umfassender Unterstützung für Parallelität und Parallelität sowie einzigartigen Abstraktionsfunktionen.

7
Warum ist das Schreiben eines Compilers in einer funktionalen Sprache einfacher? [geschlossen]
Geschlossen . Diese Frage basiert auf Meinungen . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie mit Fakten und Zitaten beantwortet werden kann, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 2 Jahren . Verbessere diese Frage Ich habe sehr lange über …
5
Wann sind höherwertige Typen nützlich?
Ich mache seit einer Weile Entwickler in F # und es gefällt mir. Ein Schlagwort, von dem ich weiß, dass es in F # nicht existiert, sind höherwertige Typen. Ich habe Material über höherwertige Typen gelesen und glaube, ich verstehe deren Definition. Ich bin mir nur nicht sicher, warum sie …
2
Was ist das kombinatorische logische Äquivalent der intuitionistischen Typentheorie?
Ich habe kürzlich einen Universitätskurs mit Haskell und Agda (einer abhängigen typisierten funktionalen Programmiersprache) abgeschlossen und mich gefragt, ob es möglich ist, Lambda-Kalkül in diesen durch kombinatorische Logik zu ersetzen. Mit Haskell scheint dies mit den S- und K-Kombinatoren möglich zu sein, wodurch es punktfrei wird. Ich fragte mich, was …
1
Wie kann ich esqueleto dazu bringen, eine SQL-Zeichenfolge für mich zu generieren?
Wie kann ich esqueleto dazu bringen, eine SQL-Zeichenfolge aus einer fromAnweisung zu generieren ? In der Dokumentation von toRawSqlheißt es, dass "Sie möglicherweise nur die Abfrageprotokollierung von persistent aktivieren". Ich habe alle möglichen Formen ausprobiert MonadLogger, die ich verstehen konnte, aber es wurde nie SQL gedruckt. In derselben Dokumentation heißt …
17
Welche Sprache soll man nach Haskell lernen? [geschlossen]
Diese Frage passt derzeit nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich zu Debatten, Argumenten, Umfragen oder erweiterten Diskussionen führen. Wenn Sie der Meinung sind, dass diese Frage verbessert und möglicherweise erneut geöffnet werden kann, …
6
Verwaiste Instanzen in Haskell
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 das beheben kann (verschieben Sie die Instanzdeklaration in das Modul, in dem …
85 haskell  ghc  typeclass 
3
Rekursionsschemata für Dummies?
Ich suche nach wirklich einfachen, leicht verständlichen Erklärungen für Rekursionsschemata und Corecursionsschemata (Katamorphismen, Anamorphismen, Hylomorphismen usw.), für die es nicht erforderlich ist, vielen Links zu folgen oder ein Lehrbuch zur Kategorietheorie zu öffnen. Ich bin sicher, dass ich viele dieser Schemata unbewusst neu erfunden und sie während des Codierungsprozesses in …
1
Unterscheidung zwischen Typklassen MonadPlus, Alternative und Monoid?
Die Standard-Bibliothek Haskell typeclasses MonadPlus, Alternativeund Monoidliefern jeweils zwei Verfahren mit im Wesentlichen gleicher Semantik: Ein leerer Wert: mzero, emptyoder mempty. Eine Bedienungsperson, a -> a -> adie Werte in der typeclass miteinander verbindet: mplus, <|>, oder mappend. Alle drei spezifizieren diese Gesetze, an die sich Instanzen halten sollten: mempty …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.