ささだです．

NISHIMATSU Takeshi wrote:
> 複素数の高速計算のことも忘れてもらっちゃ困るのです。C99とFortranでは
> 複素数は２個つづきの実数です。

　ちょっと複素数はこの際おいとくかなと．ところで，Fortran だと，何も
言わないと単精度だったと思うんですが，それで十分ですかね．


> で、ぼくがつねづね夢想しているのが「富豪的VALUE型」です。たとえば、
> 5x64=320bitの富豪的VALUE型は[0][1][2][3][4]の形をしていて、[0]には
> オブジェクトの種類、すなわち[1]以降に何が入っているのか、または、true,
> false,　nilくらいの即値が格納されます。[1]以降は倍精度実数だったら[1]
> だけにそれが、倍精度複素数だったら[1][2]に、さらには倍精度のハミルトン
> の四元数まで表すことができて[1][2][3][4]をすべて使います。それぞれが
> 64bit整数ってのもありです。これなら各数値演算にCPUの機能をそのまま使え
> ます。[0]が俺は文字列だと言っているなら、[1]にはポインタが[2]には
> サイズが入ります。CやFortranの整数、実数、複素数の配列も同様に[1]には
> ポインタが[2]にはサイズが入ります。[3][4]も使えば３次元配列まで表せ
> ます。基本的なオブジェクトはデータ以外の属性を余裕のある[1][2][3][4]
> に格納するわけです。

　これを実現するにはたくさんの改修がいるような気がしますね．

　VALUE型は，C の関数呼び出しの引数に多用されます．また，返値として
VALUE を返すものが大量にあります．VALUE rb_str_new2("foo") とか．こ
れら，C の関数同士の受け渡しに，構造体のコピーが大量に発生することに
なるので，そのオーバヘッドを考えるとどれくらい嬉しいかはよくわかりま
せん．

-- 
// SASADA Koichi at atdot dot net

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