ruby-dev

小林です。

----- Original Message -----
送信者 : Yukihiro Matsumoto <matz@netlab.co.jp>
件名 : [ruby-dev:8878] Re: [ruby-list:20054] Re: == === case


> まつもと ゆきひろです
いつも、解説ありがとうございます。

>
> 既にお気づきかもしれませんが、Rubyのcoerceというものはある種
> 「coerce 連合」に所属するクラス群での紳士協定のようなもので
> す。で、Stringのような「coerce 連合」に所属していないクラス
> に対しては適用されません。
はい、これについては以前 ごとけん さんに説明していただきまし
た。その時は、勉強中のこともあり（今もそうですが）「そういうもの」
と一応理解してとにかく先に進むことを優先させました。
ただ、自分で拡張ライブラリを作成したりしているうちに、再度気に
なって来た次第です。

>「coerce 連合」に所属していないク
> ラスに対しても適用できる型変換システムのようなものについては
> 過去にも話題になったことは無いと思います。
>
新規クラスや、継承したクラスとの型変換は未来を予想するものの
ようで難しい気がします。だからこそ、すべてのクラス（少なくてもビ
ルトインクラスなら）でcoerceは必須であると協定を結べないもので
しょうか？

a op b 、で b がわからない a は b.coerce を呼ばなければなら
ない。 呼ばれた b は a が分からなければそこまで．．．

# 私は、皆が coerce をサポートするだけで幸せになれるような
# 気がしてきました。

激論の末に「coerce 連合」なるものができたものと推察（過去ロ
グを探したのですが．．．）しますので、議論の蒸し返しなら、参
照ポインターを知らせていただければ、そちらを見ます。

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

変数に型の制限が無いように、演算にも制限が無いようにでき
ないものでしょうか？
もちろん、「演算を実行する（実行しようとする）」と、「演算できる」
ことは別物です。私は「実行しようとする」アクションはあってもい
いなと考えています。

> 型変換システムとしてはごとけんさんの prec ってのもありますが
どんなのかな？

小林 茂雄
E-Mail: shigeo@tinyforest.gr.jp
Home Page: http://www.tinyforest.gr.jp

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:8881] Re: [ruby-list:20054] Re: == === case

Thread

In This Thread

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