ささださん、皆様、首藤です。

> 　Float の高速化ですが，いくつか案があり，それぞれ得失があります．
> で，とりあえず 64bit 前提に考えています．

SML# は整数、浮動小数点数が
プロセッサの自然な形式 (→ タグビットなし) とのことで、
どうやってるのかを調べました。

  Recent papers of Atsushi Ohori
  http://www.pllab.riec.tohoku.ac.jp/~ohori/research/recent.html

  Huu-Duc Nguyen and Atsushi Ohori. Compiling ML Polymorphism with
  Explicit Layout Bitmap to appear in ACM PPDP'06, 2006.

  This is achieved by compiling ML so that each runtime object (a heap
  block or a stack frame) has a ``bitmap'' that describes the pointer
  positions in the block. Since a polymorphic function may produce
  runtime objects of different types, the compiler needs to compute
  appropriate bitmaps for each instantiation of the function.

ヒープやスタックに、そのどこにポインタが入っているかを表すビットマップを
持たせる、と。

首藤一幸

--
ML: yarv-dev quickml.atdot.net
Info: http://www.atdot.net/~ko1/quickml