bind (monad)
Monad işlemi: monadik bir değer döndüren bir işlevi zincire eklemek. Haskell'de >>=, JavaScript'te Promise.then (Promise bir monaddır), Rust'ta Option/Result üzerinde and_then.
Tür imzası: (>>=) :: Monad m => m a -> (a -> m b) -> m b. Güçlüdür, çünkü fmap ile düzleştirmeyi birleştirir (iç içe monadlardan kaçınır). Just 5 >>= \x -> Just (x+1) = Just 6. Kullanım alanları: başarısız olabilecek (Maybe), yan etkisi olan (IO) ya da birden çok değer üreten (List) hesaplamaları sıralamak. Modern karşılığı: async/await, Promise monadı için do-notasyonudur. Rust'ta ? operatörü Result/Option için bind'dır. Zihinsel model: "bind" = bağlamı koruyarak sıralamak. Bir kez görünce monadları her yerde bulursunuz: hata yönetimi, asenkron kod, ayrıştırma.