[ruby-list:30812] Re: int/int => float?

あべです。

なにか漠然とした違和感を感じつつ、議論を眺めていましたが、
除算が整数で閉じていない、というものだったんですね。
すっきりしました^^;

At Tue, 31 Jul 2001 23:45:52 +0900,
石塚圭樹  wrote:
> >Integerが数論でいう整数の集合であれば、除算について閉ではないので、
> >数論的な意味に忠実なインプリメントであれば、5/2は例外を起こすべきでしょ
> >う.
> >しかし、それでは実用的ではないので、この際数論的には云々はすっぱり忘れた
> >ほうがいいと思います.

> 実用的ではなくないと思いますが? こうやって, 意見がいろいろ分れるような例
> 外的なものは, 値をきめても結局使えないってことになりますので, それなら例
> 外にしてしまった方がはっきりする. 

この方法だと、
    c = (5.to_f / 2).to_i  #=>2
と、非常に明示的になって、すごく素敵に見えます。
# to_iよりもfloorのほうがより明示的かな。

## たかが5/2にここまで説明的にするか、ってのもありますが。

ただ、数学系のライブラリを作ったりしない場合は、ここまで厳密じゃなくて
もいいのかな、とも思いますね。うーむ。

----
ABE Yasushi