[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part7 (1001ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されているため､ｷｬｯｼｭを表示しています｡過去ﾛｸﾞﾒﾆｭｰ
668(1): 630 2007/07/04(水)19:15 AAS
ArrowApply ≒ Monadって書いたけど、本当はArrowApply = Monadらしい。
つまり、KlisliArrow (ArrowMonad a) は a と等価であるらしい。
細かい証明は載ってないのでArrow則から証明しようと思ったら途中で力尽きた。
圏論に関する知識があるともっと簡単に証明できるんだろうか。
とりあえず後で修正しときます。
669(1): 2007/07/05(木)01:49 AAS
>>668
訂正するならついでに MonadLoop も MonadFix に……
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 4.394s