ペナルティなしで演算

http://www.atdot.net/~ko1/diary/200611.html#d14
このへんの話に関係するのかな？しないかもだけど。
http://d.hatena.ne.jp/sumii/20061026/1161824070
これの SML# が、

32ビット整数が使える

ってのは、どうやってるんだろう？

Ruby も Gauche も、下位ビットを型を表すフラグに使ってるから、 fixnum が 32 ビットじゃないんだけど、うまくすればどうにか出来るものなんだろうか？

MLの場合は静的に解析できるから Ruby/Gauche とは話が全然違う、っていうことなのかもしれない。まあ、わかんない。