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