Als «applicative» getaggte Fragen

3
Gibt es ein Konzept für so etwas wie koapplikative Funktoren, die zwischen Komonaden und Funktoren sitzen?
Jede Monade ist auch ein anwendbarer Funktor und jeder anwendbare Funktor ist ein Funktor. Auch jeder Komonade ist ein Funktor. Gibt es ein ähnliches Konzept zwischen Komonaden und Funktoren, so etwas wie ein koapplikativer Funktor, und welche Eigenschaften hat er? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Anwendbare Funktoren???↑↑MonadenComonaden\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …

2
Welche Beziehungen bestehen zwischen Alternative, MonadPlus (LeftCatch) und MonadPlus (LeftDistributive)?
Follow up Was ist ein Beispiel für eine Monade, die eine Alternative ist, aber keine MonadPlus? : Angenommen, ist eine Monade. Was sind die Beziehungen betweem ein Wesen Alternative , eine MonadPlusCatch und MonadPlusDistr ? mmmmmmFür jedes der sechs möglichen Paare hätte ich gerne entweder einen Beweis, dass eines ein …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.