[ruby-dev:34366] Re: ComplexFloat

むらたです．

2008/4/12 Yukihiro Matsumoto <[e-mail]>:
>  |ほとんどの Complex の成分が浮動小数点数なんだし，浮動小数点数から他の型には
>  |変換されないんだから，ComplexFloat として特殊化しても良いだろうとも考えています．
>
>  この辺が発想の違いで、私の考えでは、最適化というのはあくまでも
>  実装の都合で、外に見えるのはかっこ悪いと思ってます。だから、
>  正直FixnumとBignumの区別もかっこ悪い。これはFixnumが即値であっ
>  た関係で回避できませんでした。

ということはまつもとさんの理想は， Fixnum も Bignum も無くて，
Integer だけが存在する状態なんですね．確かにその方が綺麗だと
私も思います．

>  両成分がFloatであるComplexを作る時点でフラグを立てればよいこ
>  とではないんでしょうか。

フラグを立てれば良いというのはそのとおりですが，その場合は
後述する点が気になります．

>  ほとんどの場合にはFloatなComplexは生
>  成時に分かっているんではないかと思うので。フラグが立っていれ
>  ば高速に計算できるのであれば、村田さんの希望する程度の最適化
>  は(わずかなビット演算の増加程度で)実現できそうな気がします。

確かに，ほとんどの Float な Complex は生成時に確定していて，それから
派生的に生成される値も特定可能です．

それでは Complex 内でフラグを立てて Float か否かを特定することに
したと仮定して，現状の仕様の問題点を挙げます．一点は，実部・虚部共に
Float である Complex が，2成分を VALUE で持つ事です．これはオブジェクト
空間の無駄なので union で double の配列と切り替える事を提案します．
二点目は，いまの Complex が Float と Integer/Rational を同時に持てる事です．
実部か虚部のどちらか Float になったときは，もう一方も Float にすることを
提案します (∵ 複素数は実部と虚部を合わせて一つの値だから)．

-- 
Kenta Murata
OpenPGP FP = FA26 35D7 4F98 3498 0810 E0D5 F213 966F E9EB 0BCC