プログラマって馬鹿が多いよね (571レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
240(2): デフォルトの名無しさん [sage] 2024/12/25(水) 22:33:17.66 ID:CcJmXK+k(1/3) AAS
>>235低レイヤーではないと思うが
241(1): デフォルトの名無しさん [sage] 2024/12/25(水) 22:34:01.27 ID:CcJmXK+k(2/3) AAS
>>236仕様においても実装においても正格評価されてないが
246(1): デフォルトの名無しさん [sage] 2024/12/25(水) 22:41:34.76 ID:CcJmXK+k(3/3) AAS
>>202-203
なんかそもそも思考が逆なんだよな
モナドだから順番があるのではなく(MaybeだのEitherだの考えりゃ、データコンテナとしてのモナドが線形とは限らないのはすぐわかる)、
アクションを結合するという操作がモナド則を満たすから、IOをモナドとして実装できる
ということがわかってない
>>195195(2): デフォルトの名無しさん [sage] 2024/12/25(水) 19:37:07.47 ID:SkWW0Eag(1) AAS
思考順が逆
モナドを応用して副作用を実現しているのではない
副作用の実行を表現するデータ型が、操作の結合に関してモナドになる
モナドをどう応用したって副作用は実現できん
から何の進歩もない
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.089s*