ある関数に同じ値を入れたら、常に同じ値が返ること。
オブジェクト指向ではメンバー変数によってメソッドの値が変わる場合、参照透明性は保証されない。参照透明性が保証されないと、調べるべきパターンの数が多くなるので、テストがしにくくなる。
副作用がないコードは参照透明性が保証されている。関数型言語は参照透明性を前提にしている。