>>442
実質のプリミティブ型だけ実行時型チェックするというのは？
型情報に2ビット確保できれば、
例えば整数、文字、文字列の3種はAND演算で判別できる。
RubyのFixnumと同じ戦略。（と話をRubyにもっていってみるテスト）

実は「実質プリミティブ型の処理をネイティブバイナリに落とす」
のイメージが掴めてなかったりして。
それってインタプリタの実装が面倒にならない？