2012-09-01から1ヶ月間の記事一覧

2012-09-11

状態モナドの理解(2)

(1) で示したパターンは、Haskell で既に状態モナドとしてパターン化されている。GHC 7.0.4 では状態モナドは以下のように定義されていた。 GHCi, version 7.0.4: http://www.haskell.org/ghc/ :? for help (略) Prelude> :module Control.Monad.State Prelu…

2012-09-09

状態モナドの練習(1)

状態モナドを理解するために、記号表を更新するシナリオを考えた。環境文字と整数のタプルからなる、単純な連想リスト構造を考える。 type Name = String type Value = Int type Env = [(Name, Value)] この連想リストを変数名とその変数の値からなる環境…