bind (монада)
Операция монады: связать цепочкой функцию, возвращающую монадическое значение. В Haskell — >>=, в JavaScript — Promise.then (Promise — монада), в Rust — and_then у Option/Result.
Сигнатура: (>>=) :: Monad m => m a -> (a -> m b) -> m b. Сила в том, что она сочетает fmap и «выравнивание» (flatten), избавляя от вложенных монад. Just 5 >>= \x -> Just (x+1) = Just 6. Применения: последовательность вычислений, которые могут завершиться ошибкой (Maybe), имеют побочные эффекты (IO) или дают несколько значений (List). Современный аналог: async/await — это do-нотация для монады Promise. В Rust оператор ? — это bind для Result/Option. Мысленная модель: «bind» = последовательность с сохранением контекста. Раз увидев это, находишь монады повсюду — в обработке ошибок, асинхронности, разборе.