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

164

6

章 無からのプログラミング

することにしましょう。これによって、物事がそうひどくなるわけではありません。

6.1.1.3

　等価性

proc内部のコードを調べる唯一の方法は、procを呼び出すことです。したがって、たとえ内部の

コードが異なっていても、同じ引数で呼び出して同じ結果を生成するのであれば、2つのprocは交換

可能だと言えます。このように外から見える振る舞いに基づいて2つを等価に扱うという考えは、外延

的等価性（extensional equality）と呼ばれます。

たとえば、次のような

p

というprocがあるとします。

>>

p = -> n { n

*

2 }

=> #<Proc (lambda)>

これに対し、別の

q

というprocを考えます。このprocは引数を1つ取り、その引数で

p

を呼び出し

ているだけです。

>>

q = -> x { p.call(x) }

=> #<Proc (lambda)>

p

と

q

は明らかに異なるprocですが、任意の引数に対してまったく同じことをするので、外延的に等

価だと言えます。

>>

p.call(5)

=> 10

>>

q.call(5)

=> 10

p

と

-> x { p.call(x) }

が等価だということは、リファクタリングするのに使えます。一般的

に、プログラムに

-> x { p.call(x) }

というパターンがあれば、式全体を

p

で置き換えて取り除

けます。あるいは、これから見ていきますが、特定の状況下では別の方針を取ることもできます。