参照透明性

ある関数に同じ値を入れたら、常に同じ値が返ること。

オブジェクト指向ではメンバー変数によってメソッドの値が変わる場合、参照透明性は保証されない。参照透明性が保証されないと、調べるべきパターンの数が多くなるので、テストがしにくくなる。

副作用がないコードは参照透明性が保証されている。
関数型言語は参照透明性を前提にしている。