[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part16 (978ﾚｽ)
関数型プログラミング言語Haskell Part16 http://echo.5ch.net/test/read.cgi/tech/1317958045/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
970: デフォルトの名無しさん [sage] 2012/01/02(月) 16:36:45.39 手続きっぽくなるとスパゲティになる理由は？ ちゃんと自分の言葉で説明できるか？ http://echo.5ch.net/test/read.cgi/tech/1317958045/970
971: デフォルトの名無しさん [] 2012/01/02(月) 16:39:56.99 >>968 俺の方が曖昧な言い方ですまんかった。 まず通じやすかったというのは世間に対してという意味だった。 ｢ListとIOとMaybeは大体同じだ｣というときの共通性が、言ってしまえばリスト化 （多元化）にあるのだとすれば、モナドなどというよりリストと言った方が 伝わり易いと思ったわけだ。また曖昧なこと言ったかな。 （ナンセンスうんぬんの方はもういいよ） http://echo.5ch.net/test/read.cgi/tech/1317958045/971
972: デフォルトの名無しさん [sage] 2012/01/02(月) 16:57:05.72 >>971 あぁ、なるほどな > ｢ListとIOとMaybeは大体同じだ｣というときの共通性が、 > 言ってしまえばリスト化（多元化）にあるのだとすれば、 そう解釈してしまったのなら、 > モナドなどというよりリストと言った方が伝わり易いと思ったわけだ。 と言うのも十分に分かる、というか当然の反応だ ただ残念ながら、少なくとも「それらに見いだした共通性はリスト化だ」 という解釈に関しては間違っている（多元化の意味は分からんが） Wadler氏が List、IO、Maybe
などにどのような共通性を感じたのかは Monad型クラスの関数に間接的に表れてはいるが、俺の力ではとても一言で言えない それこそちゃんと知るには彼の論文や基になったMoggi氏の論文を読まないといけない ただ、一般的なプログラマには「Monad型クラスの関数がモナドに共通する構造だ」 と言いうだけで応用上は十分だと思う その共通構造をモナドが応用される前のListやIOに見いだしたと言っていい http://echo.5ch.net/test/read.cgi/tech/1317958045/972
973: デフォルトの名無しさん [sage] 2012/01/02(月) 18:16:38.74 >>972 よくわかってないが、非決定計算、副作用、継続についてはMoggiの最初の論文の中で定式化されてる。 共通性といいたいところは多分普遍的性質のことだろうと思う。 普遍性の構造が共通している、というかそれぞれモナドで整理可能だからモナドなんだろう。 http://echo.5ch.net/test/read.cgi/tech/1317958045/973
974: デフォルトの名無しさん [sage] 2012/01/02(月) 18:20:45.89 >>970 デバッグが困難になる。 http://echo.5ch.net/test/read.cgi/tech/1317958045/974
975: デフォルトの名無しさん [] 2012/01/02(月) 18:25:00.71 >>973 普遍的性質って具体的には？ http://echo.5ch.net/test/read.cgi/tech/1317958045/975
976: デフォルトの名無しさん [sage] 2012/01/02(月) 18:27:24.82 モノイダル圏におけるモノイド対象が存在すること http://echo.5ch.net/test/read.cgi/tech/1317958045/976
977: デフォルトの名無しさん [sage] 2012/01/02(月) 18:33:35.46 >>975 ある一つの性質から全体の性質が定まることで、 モナドの場合はそれが入れ子状になっている、ようだ。 正直そんな説明できるほどわかってない。 http://echo.5ch.net/test/read.cgi/tech/1317958045/977
978: デフォルトの名無しさん [sage] 2012/01/02(月) 18:46:14.03 >>974 それは全く説明になっていないと思うぞ >>970 が訊いているのは手続きっぽくなるとスパゲティになる理由だ [1] 手続きっぽくなる --> [2] スパゲティになる 原因 [1] によって結果 [2] になることを筋道を立てて説明してほしいのだろう しかし、デバッグが困難になるというのは、さらにその先の結果だ [2] スパゲティになる --> [3] デバッグが困難になる デバッグが困難になるからスパゲティになるのではない（[3]-->[2]） スパゲティだからデバッ
グが困難になる（[2]-->[3]） http://echo.5ch.net/test/read.cgi/tech/1317958045/978
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.013s