[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
974(1): デフォルトの名無しさん [sage] 2012/01/02(月) 18:20:45.89 AAS
>>970
970(2): デフォルトの名無しさん [sage] 2012/01/02(月) 16:36:45.39 AAS
手続きっぽくなるとスパゲティになる理由は？
ちゃんと自分の言葉で説明できるか？
デバッグが困難になる。
975(1): デフォルトの名無しさん [] 2012/01/02(月) 18:25:00.71 AAS
>>973
973(1): デフォルトの名無しさん [sage] 2012/01/02(月) 18:16:38.74 AAS
>>972
よくわかってないが、非決定計算、副作用、継続についてはMoggiの最初の論文の中で定式化されてる。

共通性といいたいところは多分普遍的性質のことだろうと思う。
普遍性の構造が共通している、というかそれぞれモナドで整理可能だからモナドなんだろう。
普遍的性質って具体的には？
976: デフォルトの名無しさん [sage] 2012/01/02(月) 18:27:24.82 AAS
モノイダル圏におけるモノイド対象が存在すること
977: デフォルトの名無しさん [sage] 2012/01/02(月) 18:33:35.46 AAS
>>975
ある一つの性質から全体の性質が定まることで、
モナドの場合はそれが入れ子状になっている、ようだ。
正直そんな説明できるほどわかってない。
978: デフォルトの名無しさん [sage] 2012/01/02(月) 18:46:14.03 AAS
>>974
それは全く説明になっていないと思うぞ

>>970 が訊いているのは手続きっぽくなるとスパゲティになる理由だ

[1] 手続きっぽくなる --> [2] スパゲティになる

原因 [1] によって結果 [2] になることを筋道を立てて説明してほしいのだろう

しかし、デバッグが困難になるというのは、さらにその先の結果だ

[2] スパゲティになる --> [3] デバッグが困難になる

デバッグが困難になるからスパゲティになるのではない（[3]-->[2]）
スパゲティだからデバッグが困難になる（[2]-->[3]）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.429s