[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
976: 2012/01/02(月)18:27 AAS
モノイダル圏におけるモノイド対象が存在すること
977: 2012/01/02(月)18:33 AAS
>>975
ある一つの性質から全体の性質が定まることで、
モナドの場合はそれが入れ子状になっている、ようだ。
正直そんな説明できるほどわかってない。
978: 2012/01/02(月)18:46 AAS
>>974
それは全く説明になっていないと思うぞ
>>970 が訊いているのは手続きっぽくなるとスパゲティになる理由だ
[1] 手続きっぽくなる --> [2] スパゲティになる
原因 [1] によって結果 [2] になることを筋道を立てて説明してほしいのだろう
しかし、デバッグが困難になるというのは、さらにその先の結果だ
[2] スパゲティになる --> [3] デバッグが困難になる
デバッグが困難になるからスパゲティになるのではない（[3]-->[2]）
スパゲティだからデバッグが困難になる（[2]-->[3]）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.014s