[Haskell] とびだせ！Hask圏 - Qiita

Functor（関手）の話です。 HaskellのFunctorクラスはHask圏からHask圏への関手しか表現できません。 そこで、Hask圏以外の圏についても使える関手のクラスを書いてみました。 よろしくね (*´σｰ｀)ｴﾍﾍ 基本的な用語と、HaskellのFunctorクラス 別のところにまとめました この章に書こうとしていた、「基本的な用語の確認とHaskellのFunctorクラス」についての内容は、別の記事にまとめさせて貰いました。 内容としては、「HaskellのFunctorクラスはHask圏からHask圏への関手しか表現できません。」という文章の説明なので、それを読んで「そらそうだろ」って感じなら読み飛ばして次の章を読んで頂いて大丈夫です。 とびだせ！Hask圏 HaskellのFunctorは、Hask圏からHask圏への関手を表現しています。 しかし、Haskel

[igrep]

どちらにしてもHask圏に閉じるのでとびだしたのはデフォルトのFunctorのみでは。（無粋なツッコミ）