- 185 名前：デフォルトの名無しさん mailto:sage [2012/11/04(日) 00:09:40.59 ]
- >>171
さすがにそんなことはないだろう、なんてことはないのだ。
恒等関手もモナドなのでモナドによって定まるKleisli圏の中に元の圏も
含まれている。形式的な話ではあるが。勿論モナドごとに一つのKleisli圏があり、異なる
モナドをつなぐためにはめんどうな事をしないといけないが
（この辺は自分もまだ未把握。モナドトランスファーが関係してるのかなぁ）
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
関数型プログラミング言語Haskell Part20
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef