2Hitze
2Antwort
11Hitze
1Antwort
Was wären die Methoden einer Bi-Comonade?
3Hitze
3Antwort
Applicative: Beweisen `rein f <*> x = rein (flip ($)) <*> x <*> pure f`
1Hitze
1Antwort
Reader monad - wie passt es zur Monad-Schnittstelle?
2Hitze
2Antwort
Warum ist Functor ein höherer Kinded Typ
8Hitze
3Antwort
Zeigen, dass `newtype T a = T (a -> Int)` ist ein Typkonstruktor, der kein Functor ist
1Hitze
2Antwort
Kann die Art `*` als `ob (Hask)` gedacht werden?
12Hitze
2Antwort
Woher kommt der Name "Abschnitt" für einen partiell angelegten Infix-Operator?
3Hitze
1Antwort
Summe der indizierten Funktoren
6Hitze
1Antwort
Was ist das mit KleisliFunctor?