ruby-dev

ふなばです。

At 2000-07-04T14:05:17+0900 (2451729.712JD),
matz@netlab.co.jp (Yukihiro Matsumoto) wrote:

matz> ruby-talkの話ですが、ruby-devにふります。

matz> ruby-mathな話かもしれませんが、ふなばさんは参加しておられな
matz> いので。

どうも。数学も英語も苦手な僕としては、ありがたいことです。

matz> うーむ、moduloが必要だという点については理解しました。

matz> ふなばさんとしては「moduloがあれば良い」という立場なのでしょ
matz> うか？ それともPython流divmodでないと良くないという立場なの
matz> でしょうか？
(中略)
matz> ruby-talkにも書きましたが、ありえる選択肢としては

matz>   * Python流
matz>   * 現状(＋modulo)

matz> くらいを考えてます。でも、CL流のmod,remメソッドを導入(%はそ
matz> のどちらかへのalias)というのもありえると思います。

実は、僕もまつもとさんの意図がよくわからないかもしれないです。僕は、簡
単に一貫性も互換性も確保できると思っているのですが、まつもとさんは、そ
う思ってないのかなあ。僕の考えが浅はかなのかしら。そもそも、これまでの
問題も、仕様の問題なのか、実装の課題を解決できなかったのか、よくわから
ないままです。

僕は数学が得意なわけではないし、「正しい」ことをしようとしているわけで
ないと思います。

で、僕が一番困るのが、modulo がまったくなくなってしまうことです。大抵
の場合、僕が必要なのは、modulo のほうです。単純に、一利用者として困る
のです。Common Lisp なら mod、Scheme なら modulo、Python、Perl、Ruby 
では、% で提供されていると認識しています (正しい?)。

つぎに、% の振舞いが変り、remainder がなくなるのは、互換性を損うので、
望ましくないと思います。僕もすでに書いたコードを調べなきゃならないです。
ただ、僕は、remainder のほうをつかった憶えはないです。なので、
remainder がなくなっても、それはあまり気にしないかもしれないです。

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

Common Lisp の floor は、オプショナルな引数をとることができ、多値を返
します。Python の divmod は、つぎのようなものではないかと思います。

(defun divmod (x y)
  (multiple-value-list (floor x y)))

で、Ruby もこれでいいと思います。そうでなければならないわけではない、
のかもしれませんが、僕にとっては、望ましいです。

また、floor の代りに、truncate をつかうと、divrem (?) もできそうですが、
これもあっていいと思います。

(defun divrem (x y)
  (multiple-value-list (truncate x y)))

Ruby の floor、to_i (trunc)、modulo、remainder は、つぎのように考えら
れるかもしれません。

(defun ruby-floor (x) ;; #floor
  (car (multiple-value-list (floor x))))

(defun ruby-trunc (x) ;; #to_i (#trunc)
  (car (multiple-value-list (truncate x))))

(defun ruby-modulo (x y) ;; #modulo
  (cadr (multiple-value-list (floor x y))))

(defun ruby-remainder (x y) ;; #remainder
  (cadr (multiple-value-list (truncate x y))))

別段 quotient があってはよくない、という考えはないです。

とりあえず、この Common Lisp を基にした仕様で、まつもとさんが、望む一
貫性なりなんなりが、確保できないものかと思うのですが、数学な人達はどう
思うかしら。

ところで、Common Lisp の floor 関数は、浮動小数点数も整数も受けつけま
すよね。Scheme も Python でも同じです。

でも、Ruby では、整数は floor に応答しません。ここで、Ruby は負けてい
ると思います。いちいち、型を検査すべきなのでしょうか。でも、それはより
一般的なコードを書くことの妨げにしかならないように思います。

一利用者としては、すべての数値クラスで、floor、ceil trunc, round がつ
かえて、to_i は trunc の別名ということになれば、すっきりすると思うので
すが。

ふなば ただよし

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:10204] 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>