コンパイラ環境の追跡方法

Question

コンパイラの経験はあまりありませんが、最終的にコンパイラを書く必要があります。私はパーサのためにFParsecを使用していますが、今は評価者を使っています。私は（私は）かなり典型的なアプローチを取っています。私は、環境とASTノードをとるeval関数を持っています。環境はスコープによって異なるため、永続型です。これはevalを必要とし、それは助手がenv * nodeを返す必要があり、すべての環境渡しが扱いにくくなり始めています。

これに対処する標準的な方法は何ですか？私は、各スコープによって変更された共有環境をよりきれいにすることを考え始めていますが、可能ならばそれを避けたいと思います。

Answer 1

ほとんどの構文的配管を避けるために、副作用を使用する代わりに状態モナドを使用できます。