[ruby-dev:34225] Re: Complex組み込み

まつもと ゆきひろです

In message "Re: [ruby-dev:34224] Re: Complex組み込み"
    on Wed, 2 Apr 2008 20:55:56 +0900, Tadayoshi Funaba <[e-mail]> writes:
|
|> ふむ。では、/ のふるまいを
|> 
|>   * idivと同じ
|>   * fdivと同じ
|>   * rdivと同じ
|>   * その他の何か
|> 
|> のいずれにすると、「正しい方向に誘導する」ことになると思いま
|> すか？ どれに決めても不満がある人はいると思いますが、たとえ
|> ば「一番総称的な関数が書きやすい」という観点で考えた場合はど
|> うでしょう。
|
|一番の問題は、/ が悪い意味で多義的だからだと思います。

まあ、それは認めます。

|僕は、quo がいいと思います。

「quoがいい」というのはちょっと意味がよくわかりませんでした。
/演算子の挙動は現在のquoと同じであるという風に解釈しましたが、
正しいですか？

|何故、div がつかわれないのか考えると、
|
|* / でも期待どおりになる (ように思える)。
|* div がつかいづらい (タイプしづらい、見栄えがわるい)。
|* div の存在を知らない、あるいは忘れている。
|
|などが考えられるんじゃないかと思います。僕の場合は、上の3つ全てあては
|まります。
|
|/ は div じゃない、ということをハッキリさせて、div もつかいやすいよう
|にすることが大切だと思います。// を div の意味で導入するわけです。
|
|これは、smalltalk と同じです。python3 も同じです。まったく同じことを考
|えているのか判りませんが、同じ結論に逹っしたのだと思います。

確認ですが、ふなばさんの提案は

  * / 演算子をquoの意味にする(それがなんであっても)
  * // 演算子を整数を返す除算とする

という意味でよいですか？

予見される問題としては

  * SmalltalkやPythonと違い、Rubyでは//は空の正規表現と衝突
    する。

  * /がなにを返すのか(まだ)いまいち明確でない。個人的には
    quoはrdivと同じであると認識していますが、/はFloatである
    べきなのかなあ。

とかがあります。まあ、少しずつ考えましょう。少なくとも1.9で
演算子を変更するにはちと遅すぎるので。

                                まつもと ゆきひろ /:|)