From: Tanaka Akira Date: 2008-04-13T10:06:43+09:00 Subject: [ruby-dev:34379] Re: ComplexFloat In article <761216ce0804121126i557ad854j6e52283f7ef4542@mail.gmail.com>, "Kenta Murata" writes: > そうですね．最適化については誰かがやってからで良いと思います． えぇ、現時点で実際に行われるかも不明な最適化のために新しいク ラスを導入せよ、というのはちょっと無理がある主張だと思います。 あと、さらに考えて疑問に思ったんですが、仮に、そういう、すご い、データフロー解析が可能だとしたら、なぜクラスを別にする必 要があるのだろうか、という点もあるかもしれません。データフロー 解析により、ある Complex のコンストラクタの引数が Float であ ることが判明すれば、そこで生成される Complex オブジェクトは 内部が浮動小数点数で表現されることもわかるでしょうから、 ComplexFloat という異なるクラスにする必要はないかもしれませ ん。 とすると、ComplexFloat というクラスを新設するという主張のた めには、その、すごいデータフロー解析は Complex オブジェクト が浮動小数点数から生成されるかどうかは判断できるほどにはすご くない、としないと話が通りません。 でも、ComplexFloat が生成されて足し算などの演算にたどり着く ことは判断できるが、Float が生成されて Complex のコンストラ クタにたどり着くのは判断できない、という理由を考えるのはなか なか難しい気がします。少なくとも現時点で私には思いつきません。 なにかそういう理由はあるでしょうか? -- [田中 哲][たなか あきら][Tanaka Akira]