>その式をその式の値に置き換えてもプログラムの振る舞いが変わらない

>言い換えれば、同じ入力に対して同じ作用と同じ出力とを持つプログラム

>参照透過性が高いとは、関数がどこでいつ呼び出されようと、入力が同じであれば、常に得られる結果が同じになる、ということを意味します。つまり、関数の評価結果が状態変化の副作用に左右されることが少ない（あるいは、まったくない）ということです。