VMが思い浮かびますが、あれはSUNからOracleに権利が移っているようで、どうも...という...で、オープンソース界隈ではエイプリールフールねただったPerl6のParrotがどうにかなるのかなとおもったら、それほど話を聞かないし...ここで大切なのは、JITコンパイラが各種CPUに対して、すでに存在するというのが非常に重要です。translatorで、型推論とかするコードはターゲットをLLVMのビットコードとしても、意味を持つのでまぁ、時代の流れに合わせます...私はノイマン型コンピュータをバーチャルマシンとしてソフトウェア的に抽象化することに賛成です。Pythonなどのダイナミックな型の言語をCへトランスレートするときに実行速度を気にするなら、いかに型推論をうまくやるかがキモだと思われます。私は型推論に関してはまったくの初心者です(笑)数十年前にMLかHaskellのチュートリアルをネットで読んで、これはいいものだなと思いました。「人間がコーディング中に考えて、型を特定してオプティマイズできるということは、そういう判断基準がこの世に存在するということ(あとはそれをコードにすればいいだけ)」です。シンボルに書き込む?)がたぶん必要になります。LispのCLOSとちがってクラスの動的な再定義はなしです。-翌日ですけど、そういえば、C++のメソッドにはvtableがあってとか少しずつふわっと思い出してきました。WordPress%d人のブロガーが「いいね」をつけました。