From: keiju@... (=?ISO-2022-JP?B?GyRCQFBETTc9PHkbKEI=?=)
Date: 2005-11-14T15:27:36+09:00
Subject: [ruby-list:41539] Re: Matrix の継承について

けいじゅ＠いしつかです.

In [ruby-list:41538] the message: "[ruby-list:41538] Re: Matrix の継承
について", on Nov/14 14:57(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>|サブクラスの定義部分を実行したときに, 『このサブクラスはスーパークラス
>|のサブクラスとしてふさわしくありません例外』を出すとか?(^^;
>
>どうなんでしょうね。それだと将来の可能性を否定しませんか？

現行の可能性は否定していますが, 将来の可能性は否定していないのでは?

ですが:

>もともとMatrixのサブクラスを正しく定義するのは難しいって話で
>不可能だということではない以上、あらかじめ禁止してはいけない
>ような気がします。

あ, ごめんなさい, Matrixに限った話ではなくて一般的な話のつもりでした.

>で、「難しい」ときに
>
>  * 難しいから半端な定義をしないようにわざともっと難しくする
>  * 難しいけど、少しでも楽にできるようにする(でも、劇的に楽
>    になるわけではない)
>
>ってのを天秤にかけてるのだと思うんですが...。個人的には後者
>の方が好みかなあ。

Matrixに関しては, 指摘された Matrix#identity のようなメソッドで, ほと
んどの場合 S#op -> S (class S<<Matrix)が成り立ちそうなものは, そうなる
ように修正する気でいますが,

Matrix#+,-,*,**...のようなメソッド, S#op -> S が必ずしも成り立ちそうも
ないというか決めようがないものは, このままで, 積極的にサブクラスを作れ
るようにサポートするつもりはないって感じです. 

precみたいなメカニズムを導入すれば多分実現できるんでしょうが, それじゃ
サブクラスを作ってくださいって言わんばかりなので...

ということで, 

  * 難しいけど、(積極的にサポートしない範囲で)少しでも楽にできる
    ようにする(だから、劇的に楽になるわけではない)

って感じでしょうか.

__
---------------------------------------------------->> 石塚 圭樹 <<---
---------------------------------->> e-mail: keiju@ishitsuka.com <<---