[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part4 (1001ﾚｽ)
関数型プログラミング言語Haskell Part4 http://echo.5ch.net/test/read.cgi/tech/1140717775/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
920: デフォルトの名無しさん [sage] 2006/05/23(火) 19:12:29 > そのVMがレジスタの値以外に内部状態を持たないなら〜特に嬉しくない なんで？「レジスタの値以外に内部状態を持たないなら」という前提がよくわからない。 どちらにせよStateモナドはかなり嬉しいと思う。 nextState :: Code -> RegisterState -> RegisterState ... let new = nextState code old in ... と書くより， nextState :: Code -> State RegisterState () として， ... do nextState code とやったほうが明示的に状態を持って回らなくて楽じゃん。 All About MonadsのState Monadの「動機」が分かりやすい: ttp://www.sampou.org/haskell/a-a-monads/html/statemonad.html#motivation むしろ自分としては > 全てのVMの状態がならんだストリームを作って、ある状態のVMを返すってなコード こっちの書き方が気になる。コード貼って欲しいです。 http://echo.5ch.net/test/read.cgi/tech/1140717775/920
923: デフォルトの名無しさん [sage] 2006/05/23(火) 20:03:15 >>920 >「レジスタの値以外に内部状態を持たないなら」という前提がよくわからない。 ごめん。余り意味のない前提だったから忘れてくれ。 >どちらにせよStateモナドはかなり嬉しいと思う。 >(...) >とやったほうが明示的に状態を持って回らなくて楽じゃん。 それが嬉しいのはRegisterStateを変化させるコードがnextStateの他にあって、そこから nextStateを呼び出したい場合だけじゃないか？ nextStateはレジスタの状態を1クロック進めるVMの本体であって、 他にレジスタをいじるコードはほとんどないと仮定したんだがどうだろうか。 仮にnextStateをStateモナドから呼び出したいことがあったとしても、 monadicNextState :: Code -> State RegisterState () monadicNextState code = modify (nextState code) みたいに定義しておけばいいので、nextState自体をStateモナドで書く理由にはならないと思う。 …しかし、nextStateの実装にStateモナドを使って嬉しいことは普通にあるような気がしてきた。 複数のレジスタ操作アクションを組み合わせてnextStateを書く場合とか。 http://echo.5ch.net/test/read.cgi/tech/1140717775/923
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s