Bindという型クラスの存在意義

結論とは関係ない流れから解説

この前blog書いたExtendという型クラスに関する話↓

@xuwei_k extendはbindの双対ですが、bindという型クラスがHaskellに無いからじゃないでしょうか？？対称性が取れなくなるみたいな理由かなと感じました。Semigroupoidへ移動なわけはわけわかめです。そもそもこの言葉初めて聞きました^^;

2013-05-21 08:51:08 via TweetDeck to @xuwei_k

あーたしかに、Haskell(の標準ライブラリ)にBindないなぁー。あれ、でもどこかになかったっけ？

↓