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

けいじゅ＠いしつかです.

In [ruby-dev :34675 ] the message: "[ruby-dev:34675] Re: int/int ->
rational (Re: Re: ComplexFloat) ", on May/13 18:04(JST) Shin-ichiro
HARA writes:

>原です。

>> ふなばさんが指摘している問題はありますが, 私的には問題ないと思います.
>ふなばさんの指摘って
>  1 == Complex(1)
>なのに、
>  1/3 != Complex(1)/3
>なるって事ですよね。良くないんじゃないかなあ。

そうですかねぇ...

>これって、
>  Complex(1.0) == Complex(1)
>なのに、
>  Complex(1.0)/3 != Complex(1)/3
>となるよりはマシっていう判断ですよね？

まあ, それもありますが, それより:

  1.0 == 1

なのに,

  1.0/3 != 1/3

  Ratinal(1)/3 != 1/3 

ですし, ある意味対象性があるのでよいんではないでしょうか?

現状の, 

  1/3 #=> 0

をどう考えるかにもよりますが, 将来的に変わるのであれば, 先取りというこ
とで.

>> # 原さんのメイルは難しくて理解できないのでパス(^^;
>これで自分で自分のメイルが理解できなくなったら、世界中誰も理
>解できない事になってすっきりするかも。(;_;)

では, 理解できるところだけ:

実数がないのに複素数があるのはおかしいうんぬんの話がありましたが, 両者
は独立に発展した概念ですのでいいんじゃないでしょうか? 

あと, 実数クラスは正木さんが作成されていますね. コーシー列を用いて実数
を表現していると思いました. ただ, 実際には任意の数列を用いることができ
てしまうので実数と言うより超実数でしょうか(^^;

>> 最初は, int/int したら整除(div)使えとワーニングを出すようにしてから, 
>> 置き換えとか.
>なるほど。そういう手があるか。

これは, コードを積極的に変えてもらうって話ですが...

松本さん的には, 将来的にも:

  array[1/2]

はそのまま動作して欲しいみたいです. つまり, 今のままのコードがほとんど
そのまま動作して欲しいようです. 

というのも:

  array[1.div(2)]

などと書くのはやっぱイマイチではないかと... 演算子を導入するにしても, 
演算子//は難しいみたいなので,

  ///

とか

  \

とかちょっとイマイチな候補しか思い浮かばないんですよねぇ... 

__
---------------------------------------------------->> 石塚 圭樹 <<---
---------------------------------->> e-mail: [e-mail] <<---