Suchergebnisse für Anfrage "haskell"
Applicative ist zu monad, was X zu comonad ist
önnen wir diese Gleichung für X lösen? Applicative ist zu monad, was X zu comonad ist
Type Geheimnisse. Warum kompiliert dieser Code?
Dieser Code wird nicht kompiliert: default () f :: RealFloat a => a f = 1.0 g :: RealFloat a => a g = 1.0 h :: Bool h = f < g --Error. Ambiguous.Dies wird erwartet, weil es nicht eindeutig ist. Die beiden Möglichkeiten sindFloat undDouble und ...
Kann ich Gleichheit von einer funktionalen Abhängigkeit heraufzaubern?
Ich versuche, ein Gefühl für @ zu bekommMultiParamTypeClasses undFunctionalDependencies, und das Folgende erschien mir als naheliegend, es zu versuchen: {-# LANGUAGE MultiParamTypeClasses , FunctionalDependencies , TypeOperators #-} import ...
Was ist die Definition von Applicative Functor aus der Kategorietheorie POV?
Ich konnte die Definition von Functor aus der Kategorietheorie wie folgt auf die Definition von Haskell abbilden: since objects ofHask sind Typen, der FunktorF maps jeder Typa vonHask zum neuen TypF a indem Sie grob gesagt "F" voranstellen.maps ...
Monad mächtiger als Applicative?
Ich sah vergangene Diskussion [https://stackoverflow.com/questions/23342184/difference-between-monad-and-applicative-in-haskell] konnte aber nicht erkennen, warum eine der Antworten tatsächlich richtig ist. Applicative <*> :: f (a -> b) -> f ...
Learning Haskell: Scheinbar kreisförmiges Programm - Bitte helfen Sie zu erklären,
Ich gehe gerade das Buch "The Haskell Road to Logic, Math and Programming" von Doets und Van Eijck durch. Bis zu diesem Buch war ich noch nie mit einer funktionalen Programmiersprache vertrau Noch zu Beginn des Buches gibt es den folgenden Code ...
Verarbeitungslisten
Ich versuche herauszufinden, wie man eine Liste wie diese verarbeitet: [ [[4,6,7], [1,2,4,6]] , [[10,4,2,4], [1]] ] Dies ist eine Liste einer Liste von ganzen Zahlen Ich möchte, dass meine Funktion diese Liste als Eingabe nimmt und eine Liste ...
Werte aus einem Teilbaum extrahieren
Ich analysiere eine XML-Datei mitHXT und ich versuche, einen Teil der Knotenextraktion in modulare Teile aufzuteilen (ich habe dies als mein @ verwend leite [http://adit.io/posts/2012-04-14-working_with_HTML_in_haskell.html]). Leider kann ich ...
Erstellung einer Wahrheitstabelle
Wenn ich einige Werte A B C habe, kann eine Liste aller ihrer möglichen Wahrheitswerte erstellt werden: Die Eingabe ist ["X", "Y", "Z"], z. Die Liste enthält 8 Listen (Zeilen der Tabelle) [ [ ("X",True), ("Y",True), ("Z", True) ], [ ("X",True), ...
Erstellen einer unendlichen Liste aus ADT
n Haske > a = [1,1..] erstellt eine unendliche Liste. Jetzt habe ich das folgende data Subunit = O | P deriving (Eq, Show)Und wenn ich das tue b :: [Subunit] b = take 6 [P,P..]Ich bekomme folgendes: parse error on input ‘]’Warum schlägt dies ...