[ruby-dev:28550] Re: Rational

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

In [ruby-dev:28548] the message: "[ruby-dev:28548] Re: Rational", on
Apr/12 04:42(JST) Yukihiro Matsumoto writes:


>|そういうことをいいはじめると
>|  1/3 => 0 でなく 1/3 (=Rational(1,3))
>|になった方がいいんじゃないって話になってしまうのですが?
>
>いや、別にそこまで話を進める必然性はないんですが。w

というかですね.

分母が1の有理数を整数に正規化するだけだと.

Rationalの演算途中で整数になると, その後整数としての演算になるので,

Rational(1,3)*3/3 => 0

とかになってしまい. Rationalユーザーにとってはあまりうれしくないことに
なりかねません.

ですので, やるなら

>|そうでもないなって気がしているなら, 今のmathnレベルまで行くかだと思い
>|ますが?

ということになると思います.

>繰り返しになりますが、どこまで徹底するかは議論の余地があると
>思います。mathnレベルまで行くのが本当に良いのか私には自信が
>ありませんし。ただ、少なくとも、将来にわたってずっと 1/3 の
>結果が整数でなければならないというポリシーを持っているわけで
>はないということが言いたいことです。

了解.

ちなみに, mathnとおなじ振る舞いをするのは, SmalltalkとCommonLispですね.

この辺の振る舞いの違いは, Bignumが組み込みになっているかどうかで違って
きていると思いますが, どうなんでしょう?

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