Suchergebnisse für Anfrage "haskell"
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 @ ...
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 ...
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 ...
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 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 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 ...
altbar, Monoid und Mona
Betrachten Sie die folgende Signatur vonfoldMap foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> mDies ist "bind" sehr ähnlich, nur mit den getauschten Argumenten: (>>=) :: Monad m => m a -> (a -> m b) -> m b Es scheint mir, dass es ...
GADT's - Anwendungen und Nützlichkeit?
Ich beschreibe GADTs mit learnyouahaskell und interessiere mich für deren Einsatzmöglichkeiten. Ich verstehe, dass ihr Hauptmerkmal das explizite Setzen von Schriftarten ist. Sowie data Users a where GetUserName :: Int -> Users String ...
Simulieren interagierender statusbehafteter Objekte in Haskell
Ich schreibe gerade ein Haskell-Programm, in dem eine abstrakte Maschine simuliert wird, die über einen internen Status verfügt, Eingaben entgegennimmt und Ausgaben liefert. Ich weiß, wie man dies mit der staatlichen Monade umsetzt, was zu einem ...