>>311
なんかTAL(typed assembly language)っていう型付きのアセンブラ言語があった気が。
Javaのバイトコードも一種の型付きマシン語と見なすこともできると思う。

表明ってなんですか？