Ich schreibe ein Zeichenpaket mit einigen Teilen und habe Operatoren und Datentypen, die überall verteilt sind. Ich möchte jedoch nicht, dass die Benutzer jedes Mal die entsprechenden Module hinzufügen, da dies ziemlich chaotisch wäre, zum Beispiel hätte ich eine PointKlasse, eine MonoidRolle und...
type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord a) =>...
Ich beschäftige mich derzeit mit einer Funktion, die so aussieht: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) Mit anderen Worten, bei einer gegebenen Liste werden die ersten sechs Elemente für etwas verwendet, und wenn die Liste weniger als sechs Elemente lang ist, wird sie...
Es gibt 3 Funktionen, die das vorletzte Element in einer Liste finden. Der mitlast . init scheint viel schneller als der Rest. Ich kann nicht herausfinden warum. Zum Testen habe ich eine Eingabeliste von [1..100000000](100 Millionen) verwendet. Der letzte läuft fast sofort, während die anderen...
Vor kurzem habe ich angefangen, Haskell zu lernen, weil ich mein Wissen über funktionale Programmierung erweitern wollte und ich muss sagen, dass ich es bis jetzt wirklich liebe. Die Ressource, die ich derzeit verwende, ist der Kurs 'Haskell Fundamentals Part 1' über Pluralsight. Leider habe ich...
Eine nette wahre Tatsache über die Verkettung ist, dass, wenn ich zwei Variablen in der Gleichung kenne: a ++ b = c Dann kenne ich den dritten. Ich möchte diese Idee in meinem eigenen Concat festhalten, damit ich eine funktionale Abhängigkeit verwende. {-# Language DataKinds, GADTs,...
Ich bin kürzlich auf Situationen gestoßen, in denen ich eine Prädikatfunktion an eine andere Funktion übergeben muss, und die gesuchte Logik lautet häufig: "Stimmt dieser Wert mit diesem Muster überein?" Musterabgleich scheint in Deklarationen, doBlöcken und Listenverständnissen bevorzugt zu sein...
Ich sehe ein sehr seltsames Verhalten, bei dem sich Haskells bracketFunktion je nach Verwendung stack runoder stack testVerwendung unterschiedlich verhält . Betrachten Sie den folgenden Code, in dem zwei verschachtelte Klammern zum Erstellen und Bereinigen von Docker-Containern verwendet werden:...
Mit quantifizierten Einschränkungen kann ich gut ableiten Eq (A f)? Wenn ich jedoch versuche, Ord (A f) abzuleiten, schlägt dies fehl. Ich verstehe nicht, wie quantifizierte Einschränkungen verwendet werden, wenn die Einschränkungsklasse eine Oberklasse hat. Wie leite ich Ord (A f)und andere...
Ich versuche, existentielle Typen in Haskell zu verstehen und bin auf ein PDF gestoßen: http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Bitte korrigieren Sie mein unten stehendes Verständnis, das ich bis jetzt habe. Existenzielle Typen scheinen nicht an dem Typ...
Ich versuche, eine F # -Funktion zu erstellen, die die Summe einer Liste von ints mit beliebiger Verschachtelung zurückgibt. Dh. es wird für a list<int>, a list<list<int>>und a funktionieren list<list<list<list<list<list<int>>>>>>. In Haskell...
Ich habe diesen (zugegebenermaßen seltsamen) Code, der Objektiv und GHC verwendet. Aufzeichnungen : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-#...
Ich versuche, mehrere Diagramme in einer Art Tabelle zusammenzustellen. Ich denke, das nennt man "Indexdruck" , Fotografen machen das, wenn sie viele Fotos gleichzeitig überprüfen müssen. Wie auch immer, das ist der Code: main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne)...
Ich habe wirklich große Probleme damit, callCC zu verstehen. Ich bekomme die Kraft von Fortsetzungen und habe das Konzept in einigen meiner Projekte verwendet, um coole Konzepte zu erstellen. Aber ich musste nie etwas mit größeren Fähigkeiten als verwenden cont :: ((a->r)->r)-> Cont r a....
Ich versuche, eine Familie von Zustandsautomaten mit etwas anderen Arten von Zuständen zu definieren. Insbesondere haben die "komplexeren" Zustandsmaschinen Zustände, die durch Kombinieren der Zustände einfacherer Zustandsmaschinen gebildet werden. (Dies ähnelt einer objektorientierten Einstellung,...
(Inspiriert von meiner Antwort auf diese Frage .) Betrachten Sie diesen Code (er soll das größte Element finden, das kleiner oder gleich einer bestimmten Eingabe ist): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer ->...
Ich lerne Haskell und habe ein einfaches DB-Seed-Programm für Yesod durchgeführt, als ich auf dieses Verhalten gestoßen bin, das ich schwer zu verstehen finde: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Jessod GHCI-Sitzung: $ :t concatMap testFn...
Problem Betrachten Sie das folgende Entwurfsproblem in Haskell. Ich habe eine einfache, symbolische EDSL, in der ich Variablen und allgemeine Ausdrücke (multivariate Polynome) wie z x^2 * y + 2*z + 1. Darüber hinaus möchte ich bestimmte symbolische Gleichungen beispielsweise über Ausdrücke x^2 + 1...
Ich bin über einige irritierende Dinge gestolpert. Ich weiß, dass Haskell mit schwacher Kopfnormalform (WHNF) funktioniert und ich weiß, was das ist. Geben Sie den folgenden Code in ghci ein (ich verwende den Befehl: sprint, der den Ausdruck meines Wissens auf WHNF reduziert.): let intlist =...
Das Applicative Typklasse repräsentiert laxe monoidale Funktoren, die die kartesische monoidale Struktur in der Kategorie der typisierten Funktionen beibehalten. Mit anderen Worten, angesichts der kanonischen Isomorphismen, (,)die eine monoidale Struktur bilden: -- Implementations left to the...