Als «arrows» getaggte Fragen

Monaden gegen Pfeile

Ich bin mit den Konzepten von Monaden und Pfeilen, wie sie in der funktionalen Programmierung verwendet werden, weitgehend vertraut . Ich verstehe auch, dass sie verwendet werden können, um ähnliche Probleme zu lösen. Ich bin jedoch immer noch etwas verwirrt darüber, wie ich auswählen soll,...

Warum sind ArrowApply und Monads im Gegensatz zu Arrow und Applicative gleichbedeutend mit gegenseitigem Nachgeben?

Hier ist der SO-Beitrag, auf den ich mich beziehen werde .Außerdem werde ich in dieser Frage dieselben Schnipsel wie das OP verwenden, um die Materialien nicht zu trennen . Es ist allgemein bekannt, dass eine ArrowApplyInstanz eine Monade ergibt und umgekehrt: newtype ArrowMonad a b = ArrowMonad (a...