[ruby-dev:34640] int/int -> rational (Re: Re: ComplexFloat)

まつもと ゆきひろです

でかいのでテーマごとに分割します。
今回はint/intをrationalにするかどうか、の話。

In message "Re: [ruby-dev:34621] Re: ComplexFloat"
    on Fri, 9 May 2008 02:04:26 +0900, [e-mail] (石塚圭樹) writes:

|>Complex::/でquoを使えば当面の問題は解決しませんか？
|
|のはずです. 

じゃあ、当面はそうしちゃおうかなあ。

|>|>|4. complex が常に mathn を require する。
|>|
|>|であり, かつcomplexが組み込みってことは常に4(/の振る舞いにかんしては)
|>|とするってことです. やはり, /とquoの使い分けは結構難しいと思います(そ
|>|れなりにわかっている人でさえも). これは, ふなばさんが以前に指摘してい
|>|る通り, /に足そうせいが成り立っていないせいで起こっている問題です. プ
|>|ログラマに優しくないことはRubyの精神に反しているってことで, 4の方針に
|>|一気に行きましょう!!
|>
|>うーん、個人的には2.0まで待ちたかった変更なのですが。かなり
|>影響が大きいので、まだ1.9.0とはいえ、これから導入するのには
|>ためらわれます。
|
|自分で提案していてなんなんですが(^^;
|それは導入を前向きに考えているってことです？

えーと、真意を計りかねているんですが。提案してはみたものの受
け入れられそうとは思ってなかったってこと？

|それだとしたら, (かなり(^^;)将来の話であるとしても, そういう話であるな
|ら, それを前提とした対応をしていくロードマップを考えていかなくてはなら
|ないと思います.

ふなばさんは以前からそのように強く主張していらっしゃったし、
移行に伴うゴタゴタが心配なだけで、とくに反対してはいません。

まあ、rationalもto_intを持っていますから、十分多相的にデザイ
ンすれば実はほとんどのケースで問題はないような気もするのです
が、たぶん楽観視しすぎでしょう。

|>|4にすると何が起こるかの確認です:
|
|>これはRationalリテラルの導入(1/2が有理数になる)や、
|>Rational#to_sのフォーマット変更を含むのでしょうか。
|
|>また、Complexに対してもリテラル導入(1+2iとか)を検討するのでしょ
|>うか。
|
|リテラル導入に関しては全く考えていなかったです. /に関してはリテラルは
|難しいですよね? int/int は rational だけども, その他は 違うとか,.,. 難
|しいと言うか面倒かな? 

難しくはないですね。まあ、Integer#/を再定義しても反映されな
いというようなことはあるでしょうけど。

                                まつもと ゆきひろ /:|)