- 1 名前：デフォルトの名無しさん mailto:sage [05/02/02 21:02:18 ]
- 「計算機プログラムの構造と解釈」に関する議論とQ&Aの為のスレです。
SICP(英語)
mitpress.mit.edu/sicp/full-text/book/book.html
「計算機プログラムの構造と解釈」の原書です。
全てオンラインで読めます。
計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ
www.ipl.t.u-tokyo.ac.jp/sicp/
書籍情報(Amazon)
www.amazon.co.jp/exec/obidos/ASIN/489471163X/250-3648248-8159430
Lisp一般に関する話題は
CommonLisp Scheme Part12
pc5.2ch.net/test/read.cgi/tech/1100229366/l50
- 776 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 00:29:00 ]
- モナド付近をやるならまず型概念をしっかりさせたほうがいいんじゃないですか。
型持ち上げとかわかんないと意味わかんないところが多々ある気がするのですが。
淡白にそのまま自分の理解を晒してみますが
モナド<T,μ,η>って
Ｔ：型
μ：２型を１型にできる変換、ただし組み合わせて３型を１型にできないといけない
η：１型を２型にできる変換
の組という意味しかない気がする。
- 777 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 00:33:41 ]
- μの具体例としてはconcatMap idすなわちconcatで、
concat [[1 2] [3 4]] -> [1 2 3 4]
[[1 2] [3 4]]はList Listなので２型
[1 2 3 4]はListなので１型
- 778 名前：デフォルトの名無しさん mailto:sage [2008/02/08(金) 00:53:52 ]
- それで、対象を３型から１型に変換できるから
トリプル導来函手と言うのだと思う。と、補足。
|
 |
