Programmierung haskell

1

Ordnen Sie Ord mit quantifizierten Einschränkungen ab (forall a. Ord a => Ord (fa))

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 Klassen ab, die Superklassen haben? > newtype A …

10 haskell typeclass derived-class quantified-constraints

1

Warum funktioniert die Klammerfunktion von Haskell in ausführbaren Dateien, kann jedoch in Tests nicht bereinigt werden?

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: module Main where import Control.Concurrent import Control.Exception import System.Process main :: …

10 haskell haskell-stack

1

Gibt es eine bequeme Möglichkeit, ein Muster als Prädikatfunktion zu verwenden?

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 , aber es gibt eine Reihe von Funktionen, die ein …

10 haskell

1

Erstellen einer vollständig abhängigen Verkettung

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, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, …

10 haskell typeclass functional-dependencies type-level-computation

4

Reine Funktionen und Nebenwirkungen in Haskell verstehen - putStrLn

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 einige Schwierigkeiten, ein bestimmtes …

10 haskell

1

Warum ist die Verwendung von "last" das schnellste unter diesen, wenn Sie das vorletzte Element einer Liste finden?

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 einige Sekunden dauern. -- slow …

10 haskell

3

Wie kann ich eine Liste mit fester Mindestlänge vollständig und elegant verwenden?

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, …

10 haskell pattern-matching

4

Finden Sie in Haskell heraus, ob ein Baum ein binärer Suchbaum ist

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 …

10 haskell tree binary-tree binary-search-tree predicate

1

Warum funktioniert der "Constraint-Trick" in dieser manuell definierten HasField-Instanz nicht?

Ich habe diesen (zugegebenermaßen seltsamen) Code, der Objektiv und GHC verwendet. Aufzeichnungen : {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just …

9 haskell typeclass typechecking

1

Implizite statische Besetzung (Zwang) in Haskell

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 = 1sowie Definitionen wie ausdrücken …

9 haskell casting type-conversion ghc typeclass

3

Sind alle Behälter mit fester Größe starke monoidale Funktoren und / oder umgekehrt?

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 motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, …

9 haskell functor applicative category-theory

1

Parallel "any" oder "all" in Haskell

Ein Muster, auf das ich jetzt schon mehrmals gestoßen bin, ist eines, bei dem eine Liste von Werten überprüft werden muss, indem ein Test darüber abgebildet wird und geprüft wird, ob einige oder alle Elemente bestanden wurden. Die typische Lösung besteht darin, nur die praktischen Einbauten allund zu verwenden any. …

9 haskell testing concurrency parallel-processing any

1

Haskells schwacher Kopf Normalform

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 = [[1,2],[2,3]] :sprint intlist gibt …

9 haskell functional-programming ghci reduction weak-head-normal-form

1

Wie kann "concatMap" von mono-traversable gemeinsame Argumente "herausziehen"?

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 [3] …

9 haskell traversal

5

Wie mache ich diesen Algorithmus fauler, ohne mich zu wiederholen?

(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 -> TreeMap v …

9 haskell lazy-evaluation dry

Als «haskell» getaggte Fragen