Suchergebnisse für Anfrage "haskell"
Haskell unendliche Rekursion im Listenverständnis
Ich versuche eine Funktion zu definieren, die einen Punkt (x, y) als Eingabe akzeptiert und eine unendliche Liste zurückgibt, die einem rekursiven Aufruf von @ entsprich P = (u ^ 2 - v ^ 2 + x, 2uv + y) Die Anfangswerte von u und v sind beide ...
Wie schreibe ich eine parallele Reduktion mit Strategien in Haskell?
ei Hochleistungsrechnern werden Summen, Produkte usw. häufig mit einer "parallelen Reduktion" berechnet, dien Elemente und Vervollständigungen in O (logn) Zeit (bei genügend Parallelität). In Haskell verwenden wir normalerweise einfalte für diese ...
Gibt es eine Garantie für die Auswertungsreihenfolge innerhalb einer Musterübereinstimmung?
Folgend (&&) :: Bool -> Bool -> Bool False && _ = False True && False = False True && True = Truehat die gewünschte KurzschlusseigenschaftFalse && undefined ≡ False. Die erste Klausel, die im richtigen Argument nicht streng ist, wird ...
Filtering Nothing und entpacken Just
Ich habe Probleme mit diesem Programm. filterJust :: [Maybe a] -> [a] filterJust [] = [] filterJust x = map fromJust (filter (isJust) x)aber ghci meldet dies weiterhin [/imgs/scXox.png] BEARBEITEN Ich möchte kein zusätzliches Modul ...
Wie werden beliebige Hashkell-Ausdrücke automatisch in Klammern gesetzt?
Ich lerne haskell und habe große Schwierigkeiten, viele haskell-Ausdrücke, auf die ich stoße, mental zu analysieren. Natürlich erwarte ich, dass das mentale Analysieren von Haskell mit genügend Übung zur Selbstverständlichkeit wird, aber in der ...
Maximieren nach einer Funktion
Ich versuche, eine Funktion zu schreiben, die eine Funktion und zwei Eingaben akzeptiert und das Argument zurückgibt, mit dem die Funktion maximiert wird. Dies ist das Setup, das ich verwenden möchte: max :: Eq a => (a -> Int) -> a -> a -> aZum ...
Wie kann ein Client-Zertifikat für http-client-tls bereitgestellt werden?
Ich benutze http-client-tls [http://hackage.haskell.org/package/http-client-tls-0.2.1.2], um eine Verbindung zu einem TLS-fähigen Server herzustellen, für den ein Client-Zertifikat erforderlich ist. Ich vermute, ich muss @ zwick ...
Wie codiere ich mögliche Zustandsübergänge in Typ?
ch versuche, diesen Teil des Idris-Codes in Haskell zu replizieren, der die korrekte Reihenfolge der Aktionen durch folgende Typen erzwing data DoorState = DoorClosed | DoorOpen data DoorCmd : Type -> DoorState -> DoorState -> Type where Open : ...
Wie würde ich eine Haskell-Typenklasse in F # übersetzen?
Ich versuche, die Pfeile der Haskell-Kernbibliothek in F # zu übersetzen (Ich denke, es ist eine gute Übung, um Pfeile und F # besser zu verstehen, und ich kann sie möglicherweise in einem Projekt verwenden, an dem ich arbeite.) Allerdings ...
Wie gehe ich mit dem Typensystem auf Haskell bequem um?
Haskells Typensystem ist mächtig und beliebt für seine mathematische Genauigkeit und logische Solidität. Auf der anderen Seite frage ich mich, warum es nicht so funktioniert, wie es von der Intuition erwartet wird. Z.B. warum kann nichtInt zu @ ...