ruby-dev

ふなばです。

At 2000-07-05T13:51:16+0900 (2451730.70227JD),
matz@netlab.co.jp (Yukihiro Matsumoto) wrote:

matz> 最大の問題は

matz>  v = x / y
matz>  w = x % y

matz> または

matz>  v, w = x.divmod(y)

matz> としたときに

matz>   y * v + w = x

matz> が成立していなかったことです。

matz> 次の問題はFloat/Rational/Integerでdivmodの挙動が異なってい
matz> たことです。

僕もおかしいとは思っていてましたが、僕の理解は、実装のバグというもので
した。そして、仕様としては、modulo のほうを選んでいるのだと思っていま
した。どうしてかというと、かなり前に、ruby-list で、% の仕様について話
があって、そのときに、% の振舞いを決め、それを受けて、remainder もこの
ときに生まれたからです。問題はこのときの対処が、ずいぶんと不完全なもの
だったということですね。

matz> どちらを解決するためにも現状の振舞を変更する必要があります。

matz> で、前者を満たす方法はふたつあります。ひとつはfloorで丸める
matz> moduloとtruncate(0方向への丸め)で丸めるremainderです。で、後
matz> 者を解決するため、すべての数クラスでこの挙動を揃える必要があ
matz> ります。

なんらかの対処が必要なことは確かで、僕はそれをずっと待ってました。まつ
もとさんが、対処しようとしてくれていることは、たいへん、うれしく思って
います。

matz> で、今回の変更で私はremaidnerに揃えることを選んだというわけ
matz> です。なにか強いポリシーがあってremainderの方を選んだわけで
matz> はないのです。私は負の数を含むmodulo/remainderを使ったことは
matz> ありませんし、残念なことに実際に変更が行われるまで「どっちで
matz> も一緒」という意見しか聞けなかったので、それを疑う余地はなく、
matz> ただ実装がより簡単な方を選んだだけです。

ここで、僕は、ちょっと考えが違うのですが、「揃える」ことは大切なのだと
思いますが、それは、どちらかひとつを選ぶことには、ならないかもしれない
と思うのです。modulo と remainder の両方を用意してもいいと思います。基
本的に、今までと同じですね。

揃えるべきは、/ と % の組の振舞いで (もちろん、すべての Numeric な
classで)、このふたつの演算の振舞いが、floor-modulo なものか、
truncate-remainder なのかをハッキリさせればよいのではないかと思います
(僕は floor/moduloに一票)。なんか違うかな?

さらに、divmod (floor-modulo)、divrem (truncate-remainder) とすれば完
璧 (?)。

matz> |僕としては、最後の Common Lisp 流 mod、rem メソッドを導入、% を どちら
matz> |かの別名とする、が一番ありがたく、その場合は、% が mod (modulo) の別名
matz> |であれば、この上ないです。

matz> 了解です。その線を検討します。

よろしくお願いしますです。

ああでも、みんなこのことに関心ないみたいだなあ。ちょっとして、オレって、
modulo の熱狂的ファンなのか?

ふなば ただよし

Thread

Prev Next

In This Thread

Prev Next

[#10157] re.c memory leak ? — Katsuyuki Komatsu <komatsu@...>

[#10160] 1 >> 323232 — Tadayoshi Funaba <tadf@...>

[#10168] [BUG] ruby-1.5.4 — Koji Arai <JCA02266@...>

[#10170] sort_by — matz@... (Yukihiro Matsumoto)

[#10184] Bignum#remainder — nobu.nakada@...

[#10197] Re: modulo and remainder — matz@... (Yukihiro Matsumoto)

[#10201] ruby-dev:7501 パッチ — arton <arton@...>

[#10202] make clean failure — Katsuyuki Komatsu <komatsu@...>

[#10217] exit status of child process — nagai@...

[#10226] 組み込み Ruby — Kazuhiro Yoshida <moriq.kazuhiro@...>

[#10234] lib/profile.rb — Tadayoshi Funaba <tadf@...>

[#10238] date/date2 — matz@... (Yukihiro Matsumoto)

[#10243] Re: Time#usec — ARIMA Yasuhiro <fit0298@...>

[#10246] * io.c (rb_file_s_open): terminate fptr unless null. — WATANABE Hirofumi <eban@...>

[#10256] README.EXT の修正 — Noboru Saitou <noborus@...>

[#10259] thread bug? — Shugo Maeda <shugo@...>

[#10264] ext/socket changes for BeOS — Katsuyuki Komatsu <komatsu@...>

[#10267] FW: ruby's select causes busy waiting? — Jun-ichiro itojun Hagino <itojun@...>

[#10271] uri — matz@... (Yukihiro Matsumoto)

[#10272] date/date2 — matz@... (Yukihiro Matsumoto)

[#10278] Re: environment variables — WATANABE Hirofumi <eban@...>

[#10280] Ruby 1.4.5 ext/socket/socket.c — Katsuyuki Komatsu <komatsu@...>

[#10282] Config::CONFIG.each_value in rbconfig.rb — WATANABE Hirofumi <eban@...>

[#10288] bignum division has bug? — Hiroshi IGARASHI <igarashi@...>

[#10309] Telnet#preprocess — GOTOU YUUZOU <gotoyuzo@...>

[#10322] IO#eof? (ARGF) — WATANABE Tetsuya <tetsu@...>

[#10325] [REQ] print a warning message for overriding Object#__id__ — Hideto ISHIBASHI <hideto-i@...4u.or.jp>

[#10337] [PATCH] $OBJEXT and $objs in mkmf.rb — Minero Aoki <aamine@...>

[#10338] should prohibit `module_function' for class Class — WATANABE Hirofumi <eban@...>

[#10341] list and quit command in debug.rb — WATANABE Hirofumi <eban@...>

[#10347] -bignum % fixnum — Tadayoshi Funaba <tadf@...>

[#10351] configure がない — Kazuhiro NISHIYAMA <zn@...>

[#10356] [REQ] Array#replace {} — Minero Aoki <aamine@...>

[#10358] combining Ruby — Masaki Suketa <CQN02273@...>

[#10384] ruby 1.4.6 preview — matz@... (Yukihiro Matsumoto)

[#10439] Tk trouble on 1.5.x — nagai@...

[#10440] exception on TkAfter proc — nagai@...

[#10447] rational != obj — Tadayoshi Funaba <tadf@...>

[#10448] shellwords.rb — Tadayoshi Funaba <tadf@...>

[#10465] fileutils.rb — Minero Aoki <aamine@...>

[#10468] ruby -vh — Kazuhiro NISHIYAMA <zn@...>

[ruby-dev:10221] Re: modulo and remainder

Thread

In This Thread

[#10325] [REQ] print a warning message for overriding Object#id — Hideto ISHIBASHI <hideto-i@...4u.or.jp>