bind (Monade)
Monaden-Operation: verkettet eine Funktion, die einen monadischen Wert zurückgibt. Haskell: >>=. JavaScript: Promise.then (Promise ist eine Monade). Rust: and_then auf Option/Result.
Typsignatur: (>>=) :: Monad m => m a -> (a -> m b) -> m b. Mächtig, weil es fmap und Flatten kombiniert (verschachtelte Monaden werden vermieden). Just 5 >>= \x -> Just (x+1) = Just 6. Einsatzfälle: Berechnungen verketten, die scheitern können (Maybe), Seiteneffekte haben (IO) oder mehrere Werte liefern (List). Modernes Äquivalent: async/await ist Do-Notation für die Promise-Monade. Rust: Der ?-Operator ist bind für Result/Option. Merkregel: "bind" heißt sequenzieren unter Beibehaltung des Kontexts. Hat man es einmal erkannt, findet man Monaden überall — Fehlerbehandlung, Async, Parsing.