人間コンパイラコンパイラ

のことは、普通は「メタプログラミング」というかも。「人間コンパイラコンパイラ」のほうが楽しい感じですが。:-)

MetaMLやMetaOCamlみたいな、きちんと型のついたメタプログラミングが、ちゃんとC++などで実用になれば良いのかも。とか、またしても人事（←「じんじ」ではありません）のように言ってみる。

ちなみに「決して間違えないならアセンブリでも良いのでは」というのは、テンプレートの展開やspecializationを手動でやる、という意味だったのですが、極論なのであまり気にしないでください。

追記：ほとんど自動連想により、千葉さんのOpen C++とOpenJavaも紹介してみる。これはマルチステージの型安全性まで保証されていないかもしれませんが。

この方向(reflection)を追求すると3-Lispにたどりついて「またLispかよ！」ということになったり。Javaのreflectionやアスペクト指向は劣化コピーなので注意、とかまた過激発言。