賢いコンパイラなら、これ最適化・・・さすがに無理か。後者は、人間は比較的わかりやすいソースを好むそうで、わかりやすいソースよりも機械的に吐いたソースのほうが速かったり遅かったり、とか、そんなの。それどうしたいのか聞くの忘れてた。この研究の興味のメインとしては、最初にあげた諸々(optimizerとか)の生成系だそうで。形式的記述やってんだから、そうなるよなぁ、とか。最適化については、基本ブロックのようなものに命令をまとめてしまうようなことはやっているようで、それで、それなりの効果は上がっている、とのことです。導くのは、形式的記述だから、そんなに大変じゃないよね、って感じで。ちなみにこれは、対象プログラムからの情報を元にシステムを作り変えるようにするので、JITコンパイルにするにはもうちょっと大変かも、ということです。スピードが主眼じゃないそうです。もつ)例外機構は、これによってサポートできたそうです。例外は、どっかになんか積んでどうの、って話らしい。Javaのアレは出来そうにないよねぇ、多分。2000行くらいらしい。