>>845
総称型って良く知らないんですが、実行時に型判別をするオブジェクト
指向みたいなやつでしょうか？

MLでも fixnumは32ビット使えないですよね。MLのコンパイラ作ったこと
無いので良くわからないんですが、どうしてなんでしょうか？
32bit raw-dataみたいな型があって、足し算、引き算、論理演算
くらいできないと Cの代替にはならないんですよね。