Zum Beispiel in der Listen-Monad-Bind-Operation:
%Vor%Wie lautet das Argument f? Ein Ordner? Mapper? Transformator?
Es tut uns leid, dass wir glib sind, aber das Argument heißt f , da je nach dem, was es tut, eine beliebige Anzahl von Namen anwendbar sein kann. Was zählt, ist einfach der Typ a -> m b für Ihre Monad instance m . Wie David Yongs Kommentar bemerkt, können wir Dinge dieser Form als "Pfeil (oder Morphismus) in der Kleisli-Kategorie von m " beschreiben.
Laut Wiki ziehe ich .. "programmierbare Semikolons" oder "Fließbänder".
Ein Typ mit einer Monad-Struktur definiert, was es bedeutet, Operationen zu verketten, so "Montageband" beschreibt es wahrscheinlich am besten.
Tags und Links haskell naming-conventions