関数型プログラミング言語Haskell Part8

関数型プログラミング言語Haskell Part8 at TECH

266:デフォルトの名無しさん
07/12/08 12:26:42
>>265
ポインタ同値をテストする関数eqがあったとすると、
let v = [1,2] in eq v v
はTrue。一方、vを展開して
eq [1,2] [1,2]
とするとFalseになるかもしれない。
参照透過って言うのはそもそも、こういう展開をしても
プログラムの意味が変わらないってことだから、
eqによって参照透過性が破られたと言える。

次ページ

続きを表示

1を表示