参照透過性 とは，式をその評価結果で置き換えてもプログラムの意味が変わらない性質です。純粋な関数は外部状態や副作用に依存しないため，同じ引数なら常に同じ結果を返します。 関数を引数や返却値として扱うのは高階関数に関する性質です。 コンパイル時の型検査は静的型付けに関する性質です。 必要になるまで式を評価しないのは遅延評価です。