From: toyofuku@...
Date: 1998-04-09T18:23:38+09:00
Subject: [ruby-dev:2210] Re: new coerce

  豊福＠パパイヤです。

けいじゅさん
> でも, 私としては, 前者の意味にしたいんですね. このモジュールをinclude
> しているクラスを数(に近いもの)として取り扱いたいからなんですけど.

  私が前に書いた coerce の考えだと coerce は
クラスとクラス間のものなので一つのクラスだけを
取り出してこのクラスには coerce は必要ないと
決められないような気がします。
  例えば +演算は持っているけれど coerce が必要
なさそうなクラス C があったとしても C と Integer
の直積クラス C' を考え、
  x (x は C の元） -> (x, 0)
によって C を C' の部分集合と同一視するとき
C + C' で C の元を C' に coerce してもいいよう
な気がします。（そんな直積に実用的意味があるか
どうか全然わからないですが）

> そうすると, 今はNumericは実数の再上位クラスとし, Complex/Matrixなどは
> 堂々とNumericの外に出すことができますので.

  Complex/Matrix だけで考えると四則演算の定義
されたある種の数学的クラス Ring があればいいの
かなという気がしますが、集合はこれには入らない
ですね。
---
			豊福＠パパイヤ
			unbound@papaya.juice.or.jp
			toyofuku@juice.or.jp