06/11/07 21:29:18 7TvRCTcZ
>>849
> つか、コンパイルで無限ループってあるんだろうか。
普通はならないような言語仕様にする
C++ のテンプレートの展開は一般には無限ループになる可能性があるので
16回評価して終るようになってる
コンパイルが終らないようなのは理論上は当然ある
System F の型決定のアルゴリズムとか
06/11/07 21:29:18 7TvRCTcZ
>>849
> つか、コンパイルで無限ループってあるんだろうか。
普通はならないような言語仕様にする
C++ のテンプレートの展開は一般には無限ループになる可能性があるので
16回評価して終るようになってる
コンパイルが終らないようなのは理論上は当然ある
System F の型決定のアルゴリズムとか