Feature #5512: Integer#/ の改訂

まつもと ゆきひろです In message "Re: [ruby-dev:44707] [ruby-trunk - Feature #5512][Open] Integer#/ の改訂" on Sun, 30 Oct 2011 17:19:45 +0900, tadayoshi funaba <[e-mail]> writes: |Integer#/ を Integer#quo の別名として定義しなおす事を提案します。 長期的には賛成しますが、2.0にはあまり過去との非互換性を入れ たくないので、その次(3.0?)にしようと思います。

(2011.11.01 03:45 ), Yukihiro Matsumoto wrote: > まつもと ゆきひろです > > In message "Re: [ruby-dev:44707] [ruby-trunk - Feature #5512][Open] Integer#/ の改訂" > on Sun, 30 Oct 2011 17:19:45 +0900, tadayoshi funaba <[e-mail]> writes: > > |Integer#/ を Integer#quo の別名として定義しなおす事を提案します。 > > 長期的には賛成しますが、2.0にはあまり過去との非互換性を入れ > たくないので、その次(3.0?)にしようと思います。 2.0 がリリースされたら trunk で実装できると解釈して良いですか？ それとも、2.0 のリリース後にもう一度考えますか？ -- Kenta Murata <[e-mail]> 1D69 ADDE 081C 9CC2 2E54 98C1 CEFE 8AFB 6081 B062

遠藤です。 2011年11月1日3:45 Yukihiro Matsumoto <[e-mail]>: > In message "Re: [ruby-dev:44707] [ruby-trunk - Feature #5512][Open] Integer#/ の改訂" > on Sun, 30 Oct 2011 17:19:45 +0900, tadayoshi funaba <[e-mail]> writes: > > |Integer#/ を Integer#quo の別名として定義しなおす事を提案します。 > > 長期的には賛成しますが、2.0にはあまり過去との非互換性を入れ > たくないので、その次(3.0?)にしようと思います。 本気で変える予定があるのなら、特大の非互換になりますので、今のうちに 切り捨てたい場合の推奨代替策を決めて ( (x/y).round ですかね？) 、 2.0 から啓蒙しておいたほうがいいと思います。(つまり推奨形式になって いない場合に warning を出す) 個人的には、Integer#// とか別の演算子を導入して、Integer#/ は変えない 方が嬉しいです。切り捨てを期待したコードをすごく書いてきた。。。 -- Yusuke Endoh <[e-mail]>

> 本気で変える予定があるのなら、特大の非互換になりますので、今のうちに > 切り捨てたい場合の推奨代替策を決めて ( (x/y).round ですかね？) 、 > 2.0 から啓蒙しておいたほうがいいと思います。(つまり推奨形式になって > いない場合に warning を出す) それは賛成です。これまでの事を考えるとあまり期待できないですが。 python2 でやったような事ですが、ruby だと div をつかえってくらいでしょ う。 > 個人的には、Integer#// とか別の演算子を導入して、Integer#/ は変えない > 方が嬉しいです。切り捨てを期待したコードをすごく書いてきた。。。 smalltalk では、// が切捨て \\ がそれの対になる余りなっていますが、 ruby では // は正規表現に被るのでダメだと言われました。どっちにしても Integer#/ を変える事に意味があるので、それだったら、div と quo をつかい ましょうで終りですね。後はつかいやすいように div メソッドではなく、div 演算子を用意するくらいか。

まつもと ゆきひろです In message "Re: [ruby-dev:44765] Re: [ruby-trunk - Feature #5512][Open] Integer#/ の改訂" on Tue, 1 Nov 2011 22:12:54 +0900, Yusuke Endoh <[e-mail]> writes: |本気で変える予定があるのなら、特大の非互換になりますので、今のうちに |切り捨てたい場合の推奨代替策を決めて ( (x/y).round ですかね？) 、 |2.0 から啓蒙しておいたほうがいいと思います。(つまり推奨形式になって |いない場合に warning を出す) 方針としては賛成ですが、「推奨形式になっていない」ことをどう やって検出しますか？ Integer#/ が呼ばれる度に警告を出す？ |個人的には、Integer#// とか別の演算子を導入して、Integer#/ は変えない |方が嬉しいです。切り捨てを期待したコードをすごく書いてきた。。。 別の演算子という意味では quo があるので、「変えない」という のはこの提案の意味がなくなるのではないでしょうか。また、整数 が要求されるところではほとんどの場合切り捨てが行われているは ずなので、実際にはあまり問題にならないことが多いかもしれませ ん。つまり、 p 1/2 みたいのは影響を受けるけど ary[1/2] みたいのは影響を受けないってこと。 まつもと ゆきひろ /:|)

ふなばさん、まつもとさん、 お返事ありがとうございます。 2011年11月1日22:46 Tadayoshi Funaba <[e-mail]>: >> 本気で変える予定があるのなら、特大の非互換になりますので、今のうちに >> 切り捨てたい場合の推奨代替策を決めて ( (x/y).round ですかね？) 、 >> 2.0 から啓蒙しておいたほうがいいと思います。(つまり推奨形式になって >> いない場合に warning を出す) > > それは賛成です。これまでの事を考えるとあまり期待できないですが。 > python2 でやったような事ですが、ruby だと div をつかえってくらいでしょ > う。 なるほど。 「代わりに Integer#div 使え」ということなので、Integer#/ が 呼ばれるたび、もしくは初めて呼ばれた時だけに警告する感じですかね。 >> 個人的には、Integer#// とか別の演算子を導入して、Integer#/ は変えない >> 方が嬉しいです。切り捨てを期待したコードをすごく書いてきた。。。 > > smalltalk では、// が切捨て \\ がそれの対になる余りなっていますが、 > ruby では // は正規表現に被るのでダメだと言われました。どっちにしても > Integer#/ を変える事に意味があるので、それだったら、div と quo をつかい > ましょうで終りですね。後はつかいやすいように div メソッドではなく、div > 演算子を用意するくらいか。 見やすい中置演算子がないことが不満なのかなと思ったのですが、 変えること自体が目的なんですかね。 2011年11月1日23:00 Yukihiro Matsumoto <[e-mail]>: > また、整数 > が要求されるところではほとんどの場合切り捨てが行われているは > ずなので、実際にはあまり問題にならないことが多いかもしれませ > ん。 x を n の倍数にアラインさせるために x / n * n というイディオムをかなり書いてきてるんですよね。 このイディオムが具体的にどういうときに必要かというと、簡単には 説明しにくいんですが、ええと、タイルを対称的に並べるため個数を 偶数に限定する (x / 2 * 2) とか、10^14 .. 10^14 + 1000000 の 範囲の素数を列挙する (2 段階エラトステネス) とか。 妙な例ですみません。 あと、現状の quo だと、4.quo(2) が Rational になるみたいですが、 整数で済む時は整数になるようにしませんか？ -- Yusuke Endoh <[e-mail]>

まつもと ゆきひろです In message "Re: [ruby-dev:44768] Re: [ruby-trunk - Feature #5512][Open] Integer#/ の改訂" on Tue, 1 Nov 2011 23:40:20 +0900, Yusuke Endoh <[e-mail]> writes: |x を n の倍数にアラインさせるために | | x / n * n | |というイディオムをかなり書いてきてるんですよね。 なるほど。互換性問題の解決にはなりませんが、整数をアラインさ せるメソッドが欲しいこともあるかもしれませんね。

むらたです。 (2011.11.01 23:40 ), Yusuke Endoh wrote: > あと、現状の quo だと、4.quo(2) が Rational になるみたいですが、 > 整数で済む時は整数になるようにしませんか？ > どうせなら、分母が 1 の Rational はすべて整数に正準化させるように 変更しませんか？ -- Kenta Murata <[e-mail]> 1D69 ADDE 081C 9CC2 2E54 98C1 CEFE 8AFB 6081 B062

たるいです。 2011年11月1日22:12 Yusuke Endoh <[e-mail]>: > 本気で変える予定があるのなら、特大の非互換になりますので、今のうちに > 切り捨てたい場合の推奨代替策を決めて ( (x/y).round ですかね？) 、 > 2.0 から啓蒙しておいたほうがいいと思います。(つまり推奨形式になって > いない場合に warning を出す) 推奨代替案ってx.div(y)ですよね？ > 個人的には、Integer#// とか別の演算子を導入して、Integer#/ は変えない > 方が嬉しいです。切り捨てを期待したコードをすごく書いてきた。。。 私も x / a * b みたいなコードはずいぶん沢山書いてきたので、 非互換は嬉しくないです。 普段は演算子で整数に閉じた演算をしたいのですが、 Numericの総称性の確保と上手く混ぜた解はないでしょうか？ -- 樽家昌也(Masaya TARUI) No Tool,No Life.