Programmierung haskell

7

Haskell-Funktionszusammensetzung (.) Und Funktionsanwendungs-Idiome ($): korrekte Verwendung

Ich habe Real World Haskell gelesen und nähere mich dem Ende, aber eine Frage des Stils hat mich wegen der (.)und ($)-Operatoren belästigt . Wenn Sie eine Funktion schreiben, die aus anderen Funktionen besteht, schreiben Sie sie wie folgt: f = g . h Aber wenn Sie etwas auf das …

129 haskell coding-style function-composition

4

Was sind einige überzeugende Anwendungsfälle für abhängige Methodentypen?

Abhängige Methodentypen, die früher ein experimentelles Feature waren, wurden jetzt standardmäßig im Trunk aktiviert , und anscheinend scheint dies in der Scala-Community für Aufregung gesorgt zu haben . Auf den ersten Blick ist nicht sofort klar, wofür dies nützlich sein könnte. Heiko Seeberger hat ein neues einfaches Beispiel abhängigen Verfahrenstypen …

127 scala haskell programming-languages type-systems dependent-method-type

4

Was bedeutet das Symbol "@" in Bezug auf Listen in Haskell?

Ich bin auf einen Haskell-Code gestoßen, der so aussieht: ps@(p:pt) Was bedeutet das @Symbol in diesem Zusammenhang? Ich kann anscheinend keine Informationen bei Google finden (es ist leider schwierig, bei Google nach Symbolen zu suchen), und ich kann die Funktion in der Prelude-Dokumentation nicht finden, daher stelle ich mir vor, …

127 haskell syntax

2

Kleines Haskell-Programm, kompiliert mit GHC in riesige Binärdateien

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 kompiliert wird? Was kann ich tun, um dies …

127 haskell linker ghc static-linking glfw

8

Wie stellen Sie ein Diagramm in Haskell dar?

Es ist einfach genug, einen Baum oder eine Liste in Haskell mithilfe algebraischer Datentypen darzustellen. Aber wie würden Sie vorgehen, um eine Grafik typografisch darzustellen? Es scheint, dass Sie Zeiger haben müssen. Ich vermute, Sie könnten so etwas haben type Nodetag = String type Neighbours = [Nodetag] data Node a …

125 haskell types graph functional-programming algebraic-data-types

1

Emacs Interactive-Haskell antwortet nicht, wenn entweder das Kabalen- oder das Arbeitsverzeichnis auf das Projektverzeichnis eingestellt ist

Ich habe ein merkwürdiges Verhalten mit der Interactive-Haskell-Antwort emacs. Wenn ich eine Datei emacsbeschaffe, zeigt der Minipuffer eine Reihe interaktiver Eingabeaufforderungen an: Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for default): Set current directory: Wenn ich entweder das Kabalenverzeichnis oder das aktuelle Verzeichnis …

124 haskell emacs cabal ghci

2

Speicherbedarf der Haskell-Datentypen

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 Komponenten abzuschätzen? Wenn Speicheranforderungen für Typen aund …

124 haskell memory-management ghc algebraic-data-types

4

Foldl versus Foldr-Verhalten mit unendlichen Listen

Der Code für die Funktion myAny in dieser Frage verwendet foldr. Die Verarbeitung einer unendlichen Liste wird beendet, wenn das Prädikat erfüllt ist. Ich habe es mit foldl umgeschrieben: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item …

124 haskell lazy-evaluation combinators fold

6

Haskell-Typ gegen Datenkonstruktor

Ich lerne Haskell von learnyouahaskell.com . Ich habe Probleme, Typkonstruktoren und Datenkonstruktoren zu verstehen. Zum Beispiel verstehe ich den Unterschied nicht wirklich: data Car = Car { company :: String , model :: String , year :: Int } deriving (Show) und das: data Car a b c = Car …

122 haskell

3

Was ist der Zweck der Lesermonade?

Die Lesermonade ist so komplex und scheint nutzlos zu sein. In einer imperativen Sprache wie Java oder C ++ gibt es kein gleichwertiges Konzept für die Lesermonade, wenn ich mich nicht irre. Können Sie mir ein einfaches Beispiel geben und dies ein wenig klären?

122 haskell monads reader-monad

16

Anfängerleitfaden für Haskell? [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, …

121 haskell functional-programming

22

Warum ist eine verzögerte Bewertung nützlich?

Ich habe mich lange gefragt, warum eine faule Bewertung nützlich ist. Ich muss mir noch jemanden erklären lassen, der Sinn macht. Meistens läuft es darauf hinaus, "mir zu vertrauen". Hinweis: Ich meine nicht Memoisierung.

119 haskell functional-programming lazy-evaluation

8

Benötigt Haskell einen Müllsammler?

Ich bin gespannt, warum Haskell-Implementierungen einen GC verwenden. Ich kann mir keinen Fall vorstellen, in dem GC in einer reinen Sprache notwendig wäre. Ist es nur eine Optimierung, um das Kopieren zu reduzieren, oder ist es tatsächlich notwendig? Ich suche nach Beispielcode, der auslaufen würde, wenn kein GC vorhanden wäre.

118 haskell garbage-collection

5

Was bedeutet die "Just" -Syntax in Haskell?

Ich habe das Internet nach einer tatsächlichen Erklärung durchsucht, was dieses Schlüsselwort bewirkt. Jedes Haskell-Tutorial, das ich mir angesehen habe, wird nur zufällig verwendet und erklärt nie, was es tut (und ich habe mir viele angesehen). Hier ist ein grundlegender Code von Real World Haskell , der verwendet wird Just. …

118 haskell syntax

11

Warum ist der minimalistische Haskell-Quicksort kein „echter“ Quicksort?

Auf der Haskell-Website wird eine sehr attraktive 5-Zeilen- Quicksort-Funktion vorgestellt (siehe unten). quicksort [] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter (< p) xs greater = filter (>= p) xs Sie enthalten auch eine "True Quicksort in C" . // To …

118 sorting haskell quicksort

Als «haskell» getaggte Fragen