http://www.radiumsoftware.com/0607.html#060731
Typed assembly language (TAL) は RISC 命令セットに基づいた
静的型付き言語である。
型安全な低レベル言語という意味では Java 仮想マシン言語
(JVML) に近い位置付けになるが， JVML よりも厳密な形式化が
なされており，なおかつ汎用性に富んでおり，それでいて
ターゲット言語（アセンブリ）に近いという特徴を持つ。
ハードウェアに近いところのコンピュータ言語も、
着実に進歩してるんだなあ。
JVML みたいな層がボトルネックになる可能性は高そうなので、
ここのレイヤが速くなれば、全体的に速くなりそう。
ハードウェア化というトレンドを考えると、
ハードウェア化しやすい言語セット、というのも
当然研究されてるんだろうなあ。