[ruby-list:41581] Re: Matrix の継承について

原です。

In [ruby-list:41538]
>まつもと ゆきひろです

>もともとMatrixのサブクラスを正しく定義するのは難しいって話で
>不可能だということではない以上、あらかじめ禁止してはいけない
>ような気がします。
>
>で、「難しい」ときに
>
>  * 難しいから半端な定義をしないようにわざともっと難しくする
>  * 難しいけど、少しでも楽にできるようにする(でも、劇的に楽
>    になるわけではない)
>
>ってのを天秤にかけてるのだと思うんですが...。個人的には後者
>の方が好みかなあ。

ところで、S op S -> S というのは、どうも「当然ありえない」と
いう雰囲気なんですが、どうしてでしょう？例えば Array#+ では
現在、

  class S < Array
  end
  p (S[0, 1] + S[2, 3, 4]).class #=> Array

なんだけど、これをSにしてしまうのはまずいですか？