[ruby-dev:5231] Re: Bigfloat [compare to NaN]

ごとけんです．

In message "[ruby-dev:5209] Re: Bigfloat [compare to NaN]"
    on 99/02/17, 石塚圭樹 <[e-mail]> writes:

>うーん. このプログラムが何をやりたいのか明確ではありませんが...
>Bigfloat(...) で新たなクラスをつくって, そのインスタンスはBigfloatをイ
>ンスタンス変数として保持するんですね. デレゲートするってことかな?

そうです．デレゲーションです．

>何か複雑ですね. そんなことしなくても良いと思いますよ.

とりあえずアイデアと言うことで (^^;;
こう言うのをいくつか書くと必要な道具が見出せると思っています．

>>素性は kind_of? 等では分かりませんが，例えばクラスメソッド
>>として，mantissa_size 等を用意するようなプロトコルを確定
>>すればよいと思います．
>
>クラスがちゃんとないと
>
>num.prec(BigfloatXXXX)
>
>で指定ができないと思うんですが.

出来ると思います．
いちお，アイデアだけを実現したうごくモノをつけます．
ポイントは，デレゲートクラスだけが精度をもち，
実体のクラスは精度上は抽象クラスだと言うことです．

% cat anum.rb
# 
# Anumber(n)
#   A class has width which is obtained by `Anumber(n)::WIDTH'.
#   The width of a instance can be gotten by a method `width'
#   

if __FILE__ == $0
  END{
    p Anumber(1000)::WIDTH                        #=> 1000
    p Anumber(56).new(10).width                   #=>   56
    p 10.prec(Anumber(30)).width                  #=>   30
    p 0.1.prec(Anumber(40)).type::WIDTH           #=>   40
    p Anumber(10).new(1).prec(Anumber(20)).width  #=>   20
  }
end

def Anumber(width)
  raise "non integer" unless width.kind_of?(Integer)
  klass = Class.new(Anumber)

  klass.module_eval <<-EOS
  include Precision

  WIDTH = width
  NAME = "Anumber(" + width.to_s + ")"

  def initialize(val)
    @delegator = Anumber.new(val, width)
  end

  def width
    WIDTH
  end

  def self.induced_from(num)
    Anumber(WIDTH).new(num)
  end

  def method_missing(id, *arg, &blk)
    @delegator.__send__(id, *arg, &blk)
  end

  def self.method_missing(id, *arg, &blk)
    Anumber.__send__(id, *arg, &blk)
  end
  EOS

  return klass
end

class Anumber < Numeric
  attr_reader :data
  def initialize(val, width)
    case val
    when Integer
      # 
    when Float
      #
    when Anumber
      #
    else
      raise
    end

    @width = width
    @name = "Anumber(" + width.to_s + ")".freeze
  end

  def width
    @width
  end

  def Anumber.induced_from(num)
    case num
    when Integer
      #
    when Float
      #
    when Anumber
      if num.width < self.width
      elsif num.width = self.width
      else
      end
    end
  end

  def prec(klass)
    case klass
    when Integer
      #
    when Float
      #
    else
      super
    end
  end
end

-- gotoken