「48時間でSchemeを書こう/変数と代入」の版間の差分

　　次に、変数の現在の値を取り出す関数を定義します。

　これは、前出した関数のように、まず、IORefから実際の環境を取り出し始めます。しかただし、getVarはIOthrowsErrorIothrowsErrorモナドを使います。というのも、これも同様にいくつかのは、エラーを扱う処理が必要があるだからです。結局、readIORefを取り出す合成モナドに持ち上げるための関数である、 [http://www.haskell.org/ghc/docs/6.4/html/libraries/mtl/Control.Monad.Trans.html#v%3aliftIO liftIO]関数を使う必要が出てきました。同じように、私たちが値を返すとき時にも、liftIO検索されたIORefを使います。読み込むようなIOThrowsErrorアクションを作り出生成するための liftIO . readIORefは、IORefの返り値 を返し使います。しかし、私たちはエラーを投げてもらうるために、liftIOを使う必要はなくなありましたせん。というのも、throwErrorは[http://www.haskell.org/ghc/docs/6.4/html/libraries/mtl/Control.Monad.Error.html#t%3aMonadError MonadError typeclass]に定義されているからで、ErrorTはこのインスタンスだからです。

　再び、まずこの、前と同じようにIORefの外にあるから環境を読み込んでみ、こその上結果にlookupを走らせています。しかただし、このときこでは、私たちはただ読み込む代わりにだけでなく、値を変えて欲更したいと思ってまのです。[http://www.haskell.org/ghc/docs/6.4/html/libraries/base/Data.IORef.html#v%3awriteIORef writeIORef]アクションは、これらの意味を供給してくれますが、間違った命令引数の順序が逆です(refvalue -> balueref insteadではなく of valueref -> refvalue である)のいくつかの引数を受けとります。だからそこで、writeIORef周辺の引数を切り替えるためのビルトイン関数[http://www.haskell.org/onlinereport/standard-prelude.html#$vflip flip] からを使い、writeIORefの引数を入れ替え、値を受けとり渡します。最後に、便利に、便性のただめ、セットしたい値を返します。

　次は、変数が既に束縛されている場合は、変数をセットし、そうでない場合は、新しく変数を作成する、という[http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-8.html#%_sec_5.2 define]の動作を実現しましょう。前者の場合には、既先に定義した、値をセットする関数が使えます。

　興味深いのは、後者の、変数が束縛されていない、後者の場合です。do記法を使って、ひとつのIOアクションを作っています。このアクションは、新しい変数を保持する新しいIORefを作り、環境の現在の値を読み込み、その先頭に、新しい変数の (key,変数) ペアを追加して、その新しいリストを書き戻しています。そして、このdoブロック全体をliftIOを使って、IOThrowsErrorモナドへ持ち上げています。