Question

純粋関数型言語がもつ特性の一つである参照透過性の説明はどれか。

Accepted Answer

同じ引数を渡せば，関数は常に同じ結果を返す。。参照透過性とは，同じ引数を与えれば常に同じ結果が返り，副作用をもたないという性質である。これは純粋関数型言語の重要な特性である。

Answer

同じ引数を渡せば，関数は常に同じ結果を返す。

Answer

関数を引数とすることや返却値とすることができる。

Answer

コンパイル時に型検査を行い，型誤りがないことを保証する。

Answer

実際に評価が必要になるまで式の評価を行わない。