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

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :5387 ] the message: "[ruby-dev:5387] Re: Bigfloat
[compare to NaN] ", on Feb/20 16:19(JST) GOTO Kentaro writes:

>ごとけんです

>>数って普通インスタンス数が多いものですから. インスタンスの数だけクラス
>>ができるのはどうも...
>
>それは確かにいえます．

ですよね.

>なるほど．やっぱり予感したように Integer(num) などは
>キャストとも気分がカブっていましたか．

そうともいえますね.

>ちなみに現行では Integer.induced_from() は Integer() と同じく
>変換にしてますが，これと必ずインスタンスを生成するのとくらべると，
>どっちがよいですか??

ん? いっている意味がよく分かりません. もうちょっと詳しくお願いします
(__;;;

ちょっとだけ言わしてもらえば, 数関係クラスのインスタンスにはnewはふさ
わしくないって気がしています. 数っていうものは(仮想的に)既に存在してい
てそれを使えるように引っ張ってくるというイメージです.

>>Bigfloat::class(prec)
>>Bigfloat.class(prec)
>>Bigfloat_class(prec)
>>BIGFLOAT(prec)
>>Bigfloat[prec]
>>
>>うーん...
>
>::class は文法的に無理でしょう．::CLASS かな．

いや. できるみたいですよ. 
# irbではできませんでしたが(^^;;;

>うーん，石塚さんが言われるようにリテラルがないことを補ううえで
>僕の趣味をいうと最後のかなぁ…
>でも文法的に Bigfloat[prec](num) で型変換とは出来ませんね．

ですね.

>逆に Bigfloat(prec) でクラス，Bigfloat(prec)[x] は出来るけど，
>趣旨に合わない… んが，これはわりとよいような気がします．

げげ. そういうところまでは考えが回りませんでした. たぶん. 素晴らしい
案だと(^^;;;  

>現状のインターフェースとある意味矛盾しない考え方は，
>Integer のように自明な場合は Integer[] も Integer() と同じ意味にし，
>Rational と Complex はそれぞれ原さんの指摘に従い izatinon をつけた
>ものでクラスをあらわし，現行のものは保存するというものです．
>つまり，Integer() などは変換であることが自明なので
>現状のまま残すが，Integer[] をこれから推奨するわけです．

ふむふむ.

># [x] は (x) とちがってシフトキーを押さずに済むのでお買い得!!

まあね(^^;;;

>凡例: 
>
>  Klass(*param)
>  # param.size == 0 なら同名のクラス Klass を返す
>  # さもなくば Klass がパラメータを持たないことが自明なら現行の変換
>  #   さもなくば param をパラメーターとするクラス
>
>  Klass(*param)[*x]
>  #  num.size == 1 なら Klass(*param).induced_from(x[0]) 相当
>  #          さもなくば Klass(*param).new(*x) 相当

なかなか複雑ですが...

>例: 
>
>  互換性:
>
>    Integer(num) # Integer はパラメータ持たないので変換なのは自明．
>    Integer[num] # インターフェイスをそろえるため．意味は同上．
>
>    Float(num) # 現行では変換なのは自明．現行の仕様(double相当)も予約．
>    Float[num] # インターフェイスをそろえるため．意味は同上．
>
>    Rational(n,d) # 現行通り．
>    Rational[n,d] # インターフェイスをそろえるため．意味は同上．
>
>    Complex(r,i) # 現行通り．
>    Complex[r,i] # インターフェイスをそろえるため．意味は同上．
>
>    Matrix[*rows] # 現行通り．
>
>  予定: 
>
>    Bigfloat
>    Bigfloat() # 精度が不定のクラス Bigfloat !< Precision

ここと.

>    Bigfloat(prec) # クラス．
>    Bigfloat[num]
>    Bigfloat()[num]  # 精度が不定というエラーにすべきか?

ここ.
デフォルト精度があっても良いかも知れませんね. 大体の人は1つの精度で使
うと思うし.

# 精度不定のクラスが意味があるなら別ですが.

>    Bigfloat(prec)[num] # num を Bigfloat(prec) に変換．

>    Rationalization(klass) # (整域) klass の有理化．
>    Rationalization(klass)[num] # num を Rationalization(klass) に変換．
>    Rationalization(klass)[n, d] # 分子分母でインスタンス生成
>    Complexization(klass) # (単位的環) klass の複素化．
>    Complexization(klass)[num] # num を Complexization(klass) に変換．
>    Complexization(klass)[r,i] # 実部虚部を指定してインスタンス生成．
>    Matrix(klass, n, m) # 体 klass 上の n-m 行列．
>    Matrix(klass, n, m)[*rows] # 体 klass 上の行列のインスタンス生成．
>    Matrix(klass, n, m)[mat] # 可能なら mat をMatrix(klass, n, m)に変換．

よくわかりませんが, Matrixizationじゃないんですね? あと, 忘れていまし
たが, Vectorというのもありますです. でも, 同じですね.

私はこの案に基本的に賛成です. 

1つあるとしたら, パラメータ付きはみな -zationをつけるとなっていると, 
区別がつきやすくていいなと思うぐらいですが.

  Bigfloat                    デフォルト精度のBigfloat
  Bigfloatization(perc)       精度付きのBigfloat
  Matrixization(klass, n, m)  パラメトライズドMatrix

あと, グローバルなインターフェイスの変更(追加)も含んでいるので, 松本氏
の意見なんかも聞きたいなと思ったりして.

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: [e-mail] <<---