[ruby-dev:27923] Re: Numeric と Complex

まつもと ゆきひろです

In message "Re: [ruby-dev:27918] Re: Numeric と Complex"
    on Thu, 1 Dec 2005 20:41:00 +0900, "URABE Shyouhei aka. mput" <[e-mail]> writes:

|Yukihiro Matsumoto wrote:
|
|>「サブクラスは部分集合である」
|>というのはいつも成立するわけではありませんし。
|
|けっきょくこれがポイントなんじゃないですかね。「Rubyの型システムは集合論
|のそれとは違う」あるいは「Rubyのクラスは型じゃない」という事実。
|にもかかわらずNumericのサブクラスを数の部分集合っぽく扱おうとしているこ
|とがそもそもの不幸なのかなという気がします。

「(一般に)Rubyのクラスは型じゃない」と「Numericのサブクラス
を_数_の部分集合っぽく扱おうとしている」は両方事実ですが、別
にそれが直接の不幸の原因ではないと思いますよ。ただ、「数の部
分集合」と言ってるときの「数」は、私の認識では実装を意識した
「数の種別」なのに、「数学上の数システム」に厳密に従わなけれ
ばならないと想起させてしまってるのであれば、それは不幸の原因
かもしれません。そういうのは別のクラス体系を作るか、別の言語
(Mathematicaとか？)でやってください。

|>私にとっては「実数とは複素数の虚部がゼロのものだからComplex
|>のサブクラスにすべきである」と同じくらい違和感があります。
|
|私にとっては「同じくらい自然に思える」あるいは「同じくらい説得力のある」
|意見に聞こえますよ。キモいっていう以外にどんな不都合がありますか?

複素数の場合は、実装として効率が悪いじゃないですか。で、Real 
については、コンピュータ言語ではRealは伝統的に浮動小数点を表
現する単語として用いられてきたので整数のスーパークラスの名前
にはふさわしくないというだけのことです。それを「キモい」と表
現するなら、それ以外の理由はありませんが「名前重要」ですから。

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