参照透過性

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

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