Aufgabe3:Monaden—Programmieraufgabe Aufgabe2:Monaden— do -Notation Aufgabe1:Lektüre Hausaufgabenblatt6–SS18 KategorientheoriefürProgrammierer

Der Befehl stack ghci startet dabei eine interaktive REPL die für die ersten Versuche mit Haskell

Sie können dabei annehmen, dass fmap f (xs ++ ys) = fmap f xs ++ fmap f ys gilt (mit anderen Worten: (++) ist eine natürliche Transformation von Paaren von Listen

Leitung des Seminars David Binder Ingo Skupin. Kategorientheorie

Denken Sie sich einen Beispielwert für die linke obere Ecke im linken Diagramm aus, und vollziehen Sie nach, dass die Gleichung erfüllt wird.. Beweisen Sie die Monadengesetze für

Sie können dabei annehmen, dass fmap f (xs ++ ys) = fmap f xs ++ fmap f ys gilt (mit anderen Worten: (++) ist eine natürliche Transformation von Paaren von Listen zu Listen)...

Definieren Sie einen Typen Odd der lediglich einen Wert vom Typ Integer enthält, sowie eine Arbitrary Instanz für diesen Typen, die nur Odd Werte generiert, in denen sich ein

type State = M.Map String Double eval :: Expr → Res State Double eval (Var i ) = get (M..

I In Haskell: durch mehrere Typklassen definierte Operationen mit bestimmten Eigenschaften. I In Scala: ein Typ mit