ruby-dev

まつもと ゆきひろです

In message "[ruby-dev:8881] Re: [ruby-list:20054] Re: == === case"
    on 00/01/08, "Shigeo Kobayashi" <shigeo@tinyforest.gr.jp> writes:

|新規クラスや、継承したクラスとの型変換は未来を予想するものの
|ようで難しい気がします。だからこそ、すべてのクラス（少なくてもビ
|ルトインクラスなら）でcoerceは必須であると協定を結べないもので
|しょうか？

coerceってのは数の型強制の目的しか考えていません。
すくなくとも現状では。

でもって、「すべてのクラスでcoerceが必須」というのはひとこと
で言うのは簡単ですが、考えてみるにnumericのcoerceは「数値に
は共通の演算子が用意されている」という事実に依存しているため、
どの演算子を持っているか特定できない「すべてのクラス」という
ことになると簡単にはいきそうにはありません。

さらに == のような基本的な演算子に coerce を適用すると、結果
が偽になる場合のコストが毎回2倍になるというあまり嬉しくない
結果を呼びそうです。

もうふたひねりくらいしないと採用できそうにないですね。

|> あまりこったものにすると全体のパフォーマンスが落ちますし。
|>
|「こったもの」ではなく「柔軟なもの」といえばどうでしょうか？
|私には、今でも「Rubyは想像を超えるほど柔軟なもの」です。

いや、「柔軟」でも良いんですが、コストに見合うかどうかは重要
な判断基準です。

|変数に型の制限が無いように、演算にも制限が無いようにでき
|ないものでしょうか？

制限が無いのは良いことだとは思いますが、もうちょっと具体的に
ならないと判断できませんね。

                                まつもと ゆきひろ /:|)

Thread

Prev Next

In This Thread

Prev Next

[#8797] some peep hole optimizations and etc. — nobu.nakada@...

[#8817] Cross Compiling Ruby — WATANABE Hirofumi <eban@...>

[#8820] BEGIN as stmt. ? — EGUCHI Osamu <eguchi@...>

[#8824] [REQ] Integer#{hex,dec,oct,bin}, String#bin — gotoken@... (GOTO Kentaro)

[#8828] Re: [ruby-list:20054] Re: == === case — Shugo Maeda <shugo@...>

[#8848] cvs — gotoken@... (GOTO Kentaro)

[#8858] [PATCH] 2000/1/5 ruby_1_4 commit — Katsuyuki Komatsu <komatsu@...>

[#8859] [PATCH] 2000/1/5 1.5.0 commit — Katsuyuki Komatsu <komatsu@...>

[#8866] DoubleFloat — gotoken@... (GOTO Kentaro)

[#8886] Complex#divmod — Masahiro TANAKA <masa@...>

[#8893] Re: [ruby-list:20142] Re: Range expansion? — Akinori MUSHA aka knu <knu@...>

[#8900] [BUG] Marshal.dump — Koji Arai <JCA02266@...>

[#8927] [PATCH] Ruby/Tk (tktext.rb and tkcanvas.rb) — nagai@...

[#8930] [PATCH] SEGV at alias & super in module — nobu.nakada@...

[#8932] isnan.c NaN — "Shigeo Kobayashi" <shigeo@...>

[#8941] [BUG] recycle the ruby_dyna_vars — Koji Arai <JCA02266@...>

[#8953] rb_str2inum() — "Shigeo Kobayashi" <shigeo@...>

[#8959] [PATCH] getoptlong.rb — nobu.nakada@...

[#8980] 1.4.3 patch for near-future *BSD IPv6 support — Jun-ichiro itojun Hagino <itojun@...>

[#8986] sort — gotoken@... (GOTO Kentaro)

[#9004] DEFAULT_KCODE in rbconfig.rb — OKUNISHI -GTO- Fujikazu <fuji0924@...>

[#9007] too many warn — Minero Aoki <aamine@...>

[#9008] [PATCH] Array#flatten! for recursive array — nobu.nakada@...

[#9024] Re: [ruby-math:00115] Re: precedence of ** — matz@... (Yukihiro Matsumoto)

[#9025] % — "Shigeo Kobayashi" <shigeo@...>

[#9029] [1.4.3 BUG] Dir.grab["/*"] — gotoken@... (GOTO Kentaro)

[#9042] Ruby's overhead — "Shigeo Kobayashi" <shigeo@...>

[#9043] getrlimit — WATANABE Hirofumi <eban@...>

[#9044] setitimer — WATANABE Hirofumi <eban@...>

[#9047] rb_read_check is missing in rubyio.h — kenn@...

[#9048] [PATCH] OS/2 patch improved for 1.5.0 — kenn@...

[ruby-dev:8882] Re: == === case

Thread

In This Thread

[#8932] isnan.c 　 NaN — "Shigeo Kobayashi" <shigeo@...>