04/05/09 15:05
>>490
> 純粋に言語仕様だけを見れば
どこにそんな仕様が？
> 最適化というのは>>487のような変換を処理系が自動でやってくれるということでしょうか．
違う
後者の場合、f のコンパイル時には f-g は再定義される可能性があるため特定できないが、
前者の場合、f のコンパイル時には g が再定義される可能性は無いため (g (* x x) をインライン展開できる。
04/05/09 15:05
>>490
> 純粋に言語仕様だけを見れば
どこにそんな仕様が？
> 最適化というのは>>487のような変換を処理系が自動でやってくれるということでしょうか．
違う
後者の場合、f のコンパイル時には f-g は再定義される可能性があるため特定できないが、
前者の場合、f のコンパイル時には g が再定義される可能性は無いため (g (* x x) をインライン展開できる。