アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで

2.4

 表示的意味論

51

2.4.2

　文

文の表示的意味論も同じように記述できますが、操作的意味論における文の評価は、値ではなく新

しい環境を生成していたことを思い出しましょう。つまり、

Assign#to_ruby

は環境のハッシュを更

新するようなprocのコードを生成する必要がある、ということです。

class Assign

def to_ruby

"-> e { e.merge({ #{name.inspect} => (#{expression.to_ruby}).call(e) }) }"

end

end

これもコンソールで確認してみましょう。

>>

statement = Assign.new(:y, Add.new(Variable.new(:x), Number.new(1)))

=> «y = x + 1»

>>

statement.to_ruby

=> "-> e { e.merge({ :y => (-> e { (-> e { e[:x] }).call(e) + (-> e { 1 }).call(e) })

8

.call(e) }) }"

>>

proc = eval(statement.to_ruby)

=> #<Proc (lambda)>

>>

proc.call({ x: 3 })

=> {:x=>3, :y=>4}

DoNothing

は相変わらず、とても簡単です。

class DoNothing

def to_ruby

'-> e { e }'

end

end

条件文の場合、S