19/10/25 18:45:12.51 4V9sCl2t.net
>>102
実は言語処理系のプログラムでは、「組み合わせ爆発」の問題が起きがち。
それと、実際に実用的な言語処理系はコードが大きくなりがちなため、
コードの全体把握が難しくなっていく。だから、仕様を追加したり改良
しようとしたとき、100%絶対大丈夫の方法がだんだんと分からなくなってきて、
大体正しそうな修正しか分からなくなってくる。だから、少し修正しては、
テストを走らせて本当に正しく修正できたかを少しずつ確かめながら
前に進んでいく方法をとらざるを得なくなったりする。
開成高校の頭脳を持ってすれば、完全に正しい修正方法も絶対的に分かる
可能性もあるが、それでも言語の規模が大きくなっていくと難しくなっていくだろう。
組み合わせ爆発を抑えれば処理系のコードが小さくなるが、コンパイル速度の低下や、
LLVMで最適化する前のコードの品質低下などにつながる。
最適化する前のデバッグ時のコードの速度もある程度大事なので。