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

48

2

章 プログラムの意味

実のところ、これは抽象構文木を、その木が意図した意味を表現するRubyコードの文字列に変換する

ことを意味しています。

さて、「意図した意味」とは何でしょうか。式や文のRubyによる表示はどのように見えるべきでしょ

うか。すでに私たちは、式が環境を引数に取り、それを値に変換するのを操作的に見てきました。こ

れをRuby で表現する1つの方法は、環境を表現する引数をとって、値を表現するRubyオブジェクト

を返すようなprocを使うことです。

«5»

や

«false»

といった単純な定数式の場合には、環境を使う

必要すらありません。考えなければならないのは、最終的な結果をRubyオブジェクトとしてどのよう

に表現するかだけです。幸運なことに、すでにRubyにはこうした値を表現するために特別に設計され

たオブジェクトがあります。SIMPLEの式

«5»

の結果として、単にRubyの値

5

を使えばよいのです。

同じように、

«false»

の結果として、Rubyの値

false

を使うことができます。

2.4.1

　式

この考え方にしたがって、

Number

と

Boolean

クラスのための

#to_ruby

メソッドの実装を書いて

みましょう。

class Number

def to_ruby

"-> e { #{value.inspect} }"

end

end

class Boolean

def to_ruby

"-> e { #{value.inspect} }"

end

end

どのように振る舞うかコンソール