bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (初級編：圏論とHaskell) １０．４ モナドを別の方法で定義する 前の記事でモナドを定義するときに\(>>=\)という関数を用いた。この関数の型シグネチャは次のようになっていた。 (>>=) :: \ m a -> (a -> m b) -> m b ここで、\(m\)を関手と考えてみよう。関手\(F\)は下図のように定義されていた。 上図で、関手\(F\)によって、対象\(A,B\)は対象\(F(A),F(B)\)に、また射\(f\)は射\(F(f)\)に写像される。これを\(m\)を関手と考えてHaskellの記述で上記の図を書き直すと次の図のようになる。 上図で、関手\(m\)によって、値\(a,b\)は値\(ma… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2017%2F08%2F06%2F112749" title="Haskellの難関モナドを突破するために掘り下げて学ぶ（４） - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20170806/20170806100853.png Hatena Blog https://hatena.blog 2017-08-06 11:27:49 rich https://bitterharvest.hatenablog.com/entry/2017/08/06/112749 1.0 100%