[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part7 (1001ﾚｽ)
関数型プログラミング言語Haskell Part7 http://echo.5ch.net/test/read.cgi/tech/1174211797/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
630: デフォルトの名無しさん [sage] 2007/07/01(日) 08:10:53 >>536 >>627 ちょっと前にだけど書いてみた。 ttp://www.aya.or.jp/~takuo/arrow_for_2ch/arrow_for_2ch.pdf Monadを少しは知ってる人向けのArrowの紹介。 今見てみると、もう少し具体例とか使い方とか書いたほうが良かったと思うけどせっかく書いたので。 http://echo.5ch.net/test/read.cgi/tech/1174211797/630
631: デフォルトの名無しさん [sage] 2007/07/01(日) 09:33:09 >>630 GJ! Arrowは少しは知ってたけど、おかげでArrowApplyとMonadの関係が分かった。 http://echo.5ch.net/test/read.cgi/tech/1174211797/631
661: デフォルトの名無しさん [sage] 2007/07/04(水) 12:20:59 >>630 こいつはいい。GJ ところで、ArrowLoopについても解説願えないかな…？ あれ全然わかんない。 http://echo.5ch.net/test/read.cgi/tech/1174211797/661
662: デフォルトの名無しさん [sage] 2007/07/04(水) 12:53:04 >>630 ArrowApplyの図ってこんな感じで良いんじゃないかと思う。 内側にarrowが入るスロットがあって、第二引数はそのスロットの入力に繋がってる。 ┌───┐ ｆ─┼─┐ │ │ ↓ │ │┏━┓│ ｂ─┼┨ ┠┼→ │┗━┛│ └───┘ http://echo.5ch.net/test/read.cgi/tech/1174211797/662
668: 630 [sage] 2007/07/04(水) 19:15:00 ArrowApply ≒ Monadって書いたけど、本当はArrowApply = Monadらしい。 つまり、KlisliArrow (ArrowMonad a) は a と等価であるらしい。 細かい証明は載ってないのでArrow則から証明しようと思ったら途中で力尽きた。 圏論に関する知識があるともっと簡単に証明できるんだろうか。 とりあえず後で修正しときます。 http://echo.5ch.net/test/read.cgi/tech/1174211797/668
670: デフォルトの名無しさん [sage] 2007/07/05(木) 02:08:50 >>630 フォント何つかってんの？ MacでHaskellしてんの？ http://echo.5ch.net/test/read.cgi/tech/1174211797/670
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s