Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC

Commits:

• b418408b
  by Irene Knapp at 2025-09-25T09:47:54-04:00

  Document etymology of "bind" as the name for `>>=`
  
  It took me twenty years of contemplation to realize why it's called that.
  I therefore feel that it may not be obvious to beginners.
  

1 changed file:

• libraries/ghc-internal/src/GHC/Internal/Base.hs

Changes:

     --    bs a

     -- @

     --

-    -- An alternative name for this function is \'bind\', but some people

-    -- may refer to it as \'flatMap\', which results from it being equivalent

-    -- to

+    -- An alternative name for this function is \'bind\', because it

+    -- is used to introduce bindings in monadic contexts, but some people may

+    -- refer to it as \'flatMap\', which results from it being equivalent to

     --

     -- @\\x f -> 'join' ('fmap' f x) :: Monad m => m a -> (a -> m b) -> m b@

     --