[ruby-dev:5215] Re: a genericity

  豊福＠パパイヤです。
あまりけいじゅさんを引っ張り出してはまずいようですが。:-)

けいじゅさん
> # そういえば, あの飲み会以来顔を出されていませんでしたので, ちょっと心
> # 配していました.

  ちょうどあの頃から本業以外に時間をさく余裕がなく
なってきちゃってメーリングリストを読むのがせいぜい
でした。今回は coerce につられて書いてますが。

>>  本来の coerce は実数（か複素数）の部分集合の中の
>>四則演算をシンプルに書こうとしたものでしょうから使用
>>範囲を広げすぎるとそのありがたみがなくなってしまうと
>>思います。その意味では **演算（べき乗）や Matrix 関連
>>の演算に coerce を使っている時点ですでに本来の使用
>>範囲を越えているような気がします。
> 
> 元々の目的が, 演算を行なうのに明示的な型変換を行なわなくても良いように
> したいって目的ですから, どちらの場合でも問題ないのではないでしょうか?

  そういう意味ではいいかなと思っているのですが一番
元々の coerce

> coerceのし方が, Smalltalk流のgenericity(だったかな?)にもとずいていたら
> 良かったんですけどね.
>
> def coerce(num)
>   if num.genericity >= self.genericity
>     [num, self.prec(num.type)]
>   else
>     [num.prec(type), self]
>   end
> end

からは
  Integer(3) ** Rational(1/2) => Float(1.732...)
なんぞが外れますよね。
  Smalltalk ではべき乗に Rational がからむ場合の coerce
はどうしてるんですか。

> ただ, 自然な型変換が行なわれるのが重要でそれ以外の場合は, 行なうべきで
> はないと思いますけどね.

> >  代表元としての意味の別の Bignumクラスを作ったら
> >話がはっきりするのかもしれない。
> 
> これはきっと, 小数部無しの固定小数点数ですね.

  こういうのに使えるのが固定小数点なんですね。

  最近 prec について次のようなことを考えていてもんもん
としています。

  {integer,rational}.prec(Float)
    この意味は OK

  float.prec(Rational)
    この意味は？精度を上げてよいのか？
    それとも float を正確な値とみなして Rational に
    変換してるのか。それだと precっぽくない。

  float.prec(Integer)
    この意味は？float.prec(小数部無しの固定小数点数)
    なのか。float と固定小数点の精度は比較できない
    けどいいのか。それとも float を正確な値とみなして
    小数部切って正確な整数値を求めているのか。それだ
    とこれも precっぽくない。


  最後にごとけんさんにお願い。

>> クラス WhileUpto3:
>>     labmda{|a| 1.upto(3){break if a == 1; a = (a%2==0)?(a%2):(a*3:1)}
>> クラス WhileUpto100:
>>     labmda{|a| 1.upto(100){break if a == 1; a = (a%2==0)?(a%2):(a*3:1)}
>> クラス While:
>>     labmda{|a| while(a != 1); a = (a%2==0)?(a%2):(a*3:1); end}
>> みたいなのにも精度を与えることができます．この場合の
>> 「精度の順序」は全順序で WhileUpto(3) < WhileUpto100 < While
>> とかなります．このような場合は，generality も精度と同じ
>> 順序をもった方がよいと思います．ちなみここでの自然な演算は
>>  * と + で，+ は可換な concurrency で * は非可換な concatenate
>> ですね．
>   うっ、これまたわからない。(;_;)
> もしかして
>     a = (a%2==0)?(a/2):(a*3+1)
> ですか。（そうであったとしてもわからないことに変りは
> ないのですが）
>   クラス WhileUpto3 のインスタンスには例えば何がある
> のですか。どう * と + を自然な演算とみるのですか。

これの答を教えて下さい。
---
			豊福＠パパイヤ
			[e-mail]
			[e-mail]