R6RS:翻訳:Rationale:Primitive syntax

R6RS:翻訳:Rationale:Primitive syntax

9 章 基本的な構文

9.1 評価順序の不定性

関数適用における部分式の評価順序は、letrec のようなその他の形式の特定の部分式の評価順序と同じく不定である。これが混乱の原因となることもあるが、一方でこれは、プログラマに特定の評価順序に依存することなくプログラムを書くことを推奨し、それにより読みやすさを向上させることにつながることがある。さらに、プログラマは評価順序が計算結果を求めるのに有意ではないことを示すことができる。ふたつめの配慮により、翻訳系が評価順序を選びよりよいコードを生成することが可能になるのである。


Last modified : 2008/03/21 20:46:29 UTC