質問: Haskellや圏論でおなじみの ``` (>>=) :: m a -> (a -> m b) -> m b ``` ですが,(上記はHaskellの型シグネチャーになります.) 口語ではなんて呼べば良いんでしょうか? 僕は勝手に"join fmap" とか読んでたんですが. 名称は存在するんでしょうか. よろしくお願いします.
回答: が参考になります。 私は“バインド”と呼んでいます。