From: Toyofuku <toyofuku@...>
Date: 1998-04-07T17:47:32+09:00
Subject: [ruby-dev:2149] Re: new coerce

  豊福＠パパイヤです。

けいじゅさん
>>   次は「算術演算子で結ばれている」とはどういう意味か
>> ということになりますね。
> あんまり追求しないで下さい(^^;;;

  私も特別なアイデアがあるわけじゃないんですが
それがわからないことには名前がつけられないです
よね。

> 少なくともNumericは入っていますので、それを前堤として矛盾なく演算でき
> るものなんでしょうね...

  じっくり考えたことがなかったので改めて
coerce のことを考えてみました。

私が考える元々の coerce の意味は
------------------------------------------
  集合: A, B, C,  A', B', C'
  オぺレーション: op, op'（算術演算に限らない）
  関係:
    A  op  B  -> C
    A' op' B' -> C'
があって A,B,C はそれぞれ A',B',C' の部分集合と
同一視でき、その同一視において op と op' は同じ
構造になっているとする。

  このとき a op' b'（a は A の元、b' は B' の元）
に対して a を対応する A' の元 a' に変換すること。
（a' op' b についても同様）
------------------------------------------
です。

  この考えだと coerce を使うクラス群は一つの系列
にしぼれず、すべてのクラスで使う可能性があるよう
な気がします。
---
			豊福＠パパイヤ
			unbound@papaya.juice.or.jp
			toyofuku@juice.or.jp