From: toyofuku@...
Date: 1998-04-10T19:18:54+09:00
Subject: [ruby-dev:2232] Re: new coerce

  豊福＠パパイヤです。

けいじゅさん
> ちょっと主張したいことがよく分かりませんでしたが(^^;;; C'を定義した時
> 点でCにそのモジュールをインクルードすればいいんじゃないかと思いますが...

  すいません。後からモジュールをインクルードするという考えが
ありませんでした。私のモジュールに対する認識が違ってました。

> たぶん, そのモジュールが数に限定されていると使えないじゃんといいたいん
> でしょうね.

  「数」を表わすモジュールと coerce とは関係ないと思うという
意味ではそうです。

> >（そんな直積に実用的意味があるかどうか全然わからないですが）
> 実際Rationalなんかはは同じことをやっていますよね. 直積でなく商集合(だっ
> け?)を使っていますが.

  そういわれればそうでした。

> そういう意味では, 豊福さんの考えは, クラスを拡張した時(C->C')の演算子
> の外延(+->+')のサポートにあるってことになるのかな...
> そうすると,
>   Extensible
> か, 演算子(と1引数を持つメソッドだけが対象だから)
>   OperatorExtensible

  そうなるのかな。でも何でも拡張されうるのだからわざわざ
モジュールで限定しなくてもいいんじゃないかというのが現在
の意見です。

> 定義される可能性のあるCalcurableにその機能を持たしちゃ
> えと思ったのでした.

  再び「演算できるとは？」というとこに私はもどっちゃい
ました。
---
			豊福＠パパイヤ
			unbound@papaya.juice.or.jp
			toyofuku@juice.or.jp