[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
85: 2020/03/27(金)18:46 ID:inQsOLrL(1/5) AAS
IO a は State# RealWorld -> (# State# RealWorld, a #) を newtypeしたものだって話じゃないか？
命令列っていうのはState# RealWorldの列ってことだろ、多分
86: 2020/03/27(金)18:50 ID:inQsOLrL(2/5) AAS
言語ではState# RealWorldの列だけ作って副作用ないけど
処理系がState# RealWorldの列を一気にフラッシュしてるから
処理系レベルでは副作用が出るって事だろ
91: 2020/03/27(金)19:58 ID:inQsOLrL(3/5) AAS
realworld Haskellって本のrealworldってghc におけるIOモナドの実装のこと言ってて
モナドの説明で度々出てくる『文脈』っていうのもその命令列のことだと理解してるんだが
どんなもん？
94: 2020/03/27(金)20:19 ID:inQsOLrL(4/5) AAS
遅延評価と考え方は似てると思う。状態の受け渡しとかが出てきてこんがらがる
95: 2020/03/27(金)20:21 ID:inQsOLrL(5/5) AAS
>>93
自分も>>74の理解で問題ないと思うんだよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s