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

選択肢

• ア同じ引数を渡せば、関数は常に同じ結果を返す。
• イ関数を引数とすることや返却値とすることができる。
• ウコンパイル時に型検査を行い、型誤りがないことを保証する。
• エ実際に評価が必要になるまで式の評価を行わない。

正解と解説

正解：ア 同じ引数を渡せば、関数は常に同じ結果を返す。

参照透過性とは、式をその評価結果で置き換えてもプログラム全体の意味が変わらない性質のことである。関数が外部の状態を読み書きしないため、同じ引数に対しては常に同じ結果が返り、実行順序や実行回数に依存しないので推論やテスト、最適化が容易になる。

選択肢ごとの解説

• ア正しい。同じ引数なら常に同じ結果を返す性質が参照透過性である。
• イ関数を引数や返却値として扱えるのは高階関数の性質である。
• ウコンパイル時に型誤りがないことを保証するのは静的型付けの性質である。
• エ必要になるまで評価しないのは遅延評価の性質である。

同じ分野の他の問題

• 論理型プログラミングにおいて、命題の証明を行うための基本的な機能はどれか。2024年度 春期 午前II 問9
• 現在のプログラム A, B に、在庫テーブルを更新した後に更新ログを出力する機能を追加する。この機能は共通モジュールで実…2024年度 春期 午前II 問7
• サブルーチンとの引数の受渡し方のうち，引数として渡した変数の値が，サブルーチンの実行後に変更されないことが保証されている…2025年度 春期 午前II 問9
• プログラムの構造的な複雑度を測る尺度としてMcCabeが提唱したサイクロマティック複雑度がある。制御の流れが次のグラフで…2025年度 春期 午前II 問8
• デザインパターンの一つであるObserverパターンを利用して実現できることはどれか。2025年度 春期 午前II 問5