From: "U.Nakamura" <usa@...>
Date: 2008-04-10T18:12:18+09:00
Subject: [ruby-dev:34296] Re: ComplexFloat

こんにちは、なかむら(う)です。

In message "[ruby-dev:34293] Re: ComplexFloat"
    on Apr.10,2008 17:40:29, <muraken@gmail.com> wrote:
> (1) TYPE(obj) == T_COMPLEX_FLOAT で型を調べることができる
> (2) T_COMPLEX_FLOAT である複素数は実部も虚部も確実に
> double であることが保証される
> 
> という2つの嬉しい事があります．この仕様が実現するととても快適です．
> そしてこれらのうち T_COMPLEX_FLOAT で型を調べることは
> 拡張モジュールでは実現できないですし，現状の Complex は実部と虚部の
> 型を毎回気にしなければなりません．そのうえ，別のメールに書いたように，
> 複素数の成分が一度 Float になると，それとの演算で生成される複素数
> の成分も Float です．

(2)はComplexFloatのうれしさであって、それは型を同定できてさえ
いれば、組み込みだろうがなんだろうが関係ないですよね。
となると、組み込みにしたいという話の焦点は(1)に集約されている、
ということでいいんでしょうか?
言い換えると、もし簡単に型を同定できる別の方法があったとした
ら、組み込みでなくてもいいんでしょうか?


それでは。
-- 
U.Nakamura <usa@garbagecollect.jp>