令和6年度 春期 システムアーキテクト試験 午前Ⅱ 問8

正解の根拠

純粋関数型言語において、参照透過性（Referential Transparency）とは、プログラム上の任意の式をその評価結果の値に置き換えても、プログラム全体の振る舞いが変わらないという性質を指します。
これは「同じ引数を渡せば、関数は常に同じ結果を返す」ことと同義であり、関数が外部の状態に依存せず、また外部の状態を変更する副作用（Side Effect）を持たないことを意味します。したがって、アが正解となります。

各選択肢の解説

• ア: 正解。参照透過性の説明です。
• イ: 関数を引数や戻り値として扱うことができる性質は、関数が第一級オブジェクト（第一級関数）であること、または高階関数の説明です。
• ウ: コンパイル時に型検査を行い、型誤りがないことを保証する仕組みは、静的型付け（Static Typing）の説明です。
• エ: 実際に評価が必要になるまで式の評価を行わない手法は、遅延評価（Lazy Evaluation）の説明です。純粋関数型言語における重要な特徴の一つですが、参照透過性そのものの説明ではありません。