ruby-list

まつもと ゆきひろです

In message "[ruby-list:11922] Re: to_i,to_s の素朴な疑問"
    on 99/02/05, HQss_YasuiS/hq_ss@omssv.hq.hitachizosen.co.jp <HQss_YasuiS/hq_ss@omssv.hq.hitachizosen.co.jp> writes:

|安井です。

|>オブジェクト指向言語にとって，ある値の型は非常に重要な要素で
|>すから無視する方向にはいかない方が良いのではないだろうかと考
|>えています．

|確認しておきたいのは、議論の対象は「レシーバ」ではなく「メッ
|セージに与える引数の多態性」です。

福嶋さんもおっしゃっているのですが，最初のメールからそれは読
み取れませんでした．すいません．Rubyが昔そうだったというのは
読み違えた文脈でのことですから，復活させることに意味はないで
しょうね．

|>  def foo(a)
|>    b=a+1         # b = "11" or b = 2
|>    return "x"*b  # "x"*11 or "x"*2
|>  end
|>
|>  foo("1")        # => "xxxxxxxxxxx"
|>  foo(1)          # => "xx"
|>
|>となるとちょっとまずい気がしません？
|
|全然です。例が悪すぎると思います。
|まず、レシーバが何なのか分りません。それから、例題が非現実的
|ではないでしょうか。

確かに人工的な例ですが，それが発生することを許容するのはいか
がなものでしょうかと思います．それに確かに + はメソッドです
が，明確にメソッドの形をしているわけでない以上，あまり右辺と
左辺で働きが違うのは考えものだと思います．

Perlで適当で変換してもあまり問題にならないのは，数値を期待す
る場合と，文字列を期待する場合とで演算子が異なるからです．
Rubyではそのような条件はないので，Perl以上になにをやってるか
分からなくなる気がします．

が，しかし，「変換が面倒だ」という手間の観点ではなく，引数に
よる多態という観点から議論することには賛成ですから，これはひ
とまずおいて置きましょう．

|もう一度簡単な例を挙げますのでこれで議論しませんか。
|
|簡略化した点オブジェクトです。
|--------------------------------------------------
|class Point
|def initialize(name,x=0,y=0)
|  @name, @x, @y = name, x, y
|end
|def x
|  @x
|end
|def y
| @y
|end
|def +(p)
|  case(p)
|  when Numeric
|   @x += p; @y += p
|  when Point
|   @x += p.x; @y += p.y
|  end
|end
|def print
|  printf "%s(%d,%d)\n",@name,@x,@y
|end
|end
|--------------------------------------------------

|この場合、+メソッドの引数に、NumericとPointを許し、他はエラー
|になります。（エラーになっていいのです！）

えーと，+ でレシーバの状態が変わるのはいかがなものかとか，
@x, @yの両方に同じ数を足して良いのか，とかいろいろ思うところ
はありますが，基本的なコンセプトである，Pointに対する加算は
数と点の両方を受け付けることがアリであるという点に反対はしま
せん．

|StringやNumericクラスの演算メソッドもこれと同様にならないかな
|と思うのです。

で，ですよ．String#+やNumeric#+が数値を受け付ける意味あるい
は効果について考えたいのです．メリット，デメリットも含めて．

まず，いくつかのバグが発見しにくくなるというデメリットがある
ことを理解していただいているでしょうか．もちろん，それは型を
ちゃんと認識していないのが悪いのだ，という安井さんの主張も分
かるんですが，多くの場合，ちゃんと型を認識するというのは型を
明示的に変換することよりも面倒なことです．

で，効果といえば，型を変換しなくても演算できるため，「ちゃん
と型を認識しなくてもなんとなく動く」ので，「型を認識する」と
いう理想とは反対方向の心理的効果が目立っちゃうような気がする
んですが，いかがでしょう？ おまけに，「なんとなく」が自分の
思ったように動かない時には，びっくりすることになりますし．

|# Numericのサブクラスを自作すればすむことかも知れませんが、
|# 常にrequireしなければならないので面倒です。

結局「面倒だ」なんですか？

# このことについて話したのはいつごろでしたっけ？

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

Thread

Prev Next

In This Thread

Prev Next

[#11848] calculation on matrices — nagai@...

[#11849] About install to $HOME — HQss_YasuiS/hq_ss@...

[#11851] Ruby/Python 0.2 — Masaki Fukushima <fukusima@...>

[#11853] Re: About install to $HOME — HQss_YasuiS/hq_ss@...

[#11866] Re: About install to $HOME — HQss_YasuiS/hq_ss@...

[#11868] Re: parsedate for HTTP style — Tadayoshi Funaba <tadf@...>

[#11870] Re: About install to $HOME — HQss_YasuiS/hq_ss@...

[#11871] Re: calculation on matrices — nagai@...

[#11874] Re: About install to $HOME — HQss_YasuiS/hq_ss@...

[#11875] Re: [BUG] 3e9.to_i => floating exception — gotoken@... (GOTO Kentaro)

[#11876] Re: [BUG] 3e9.to_i => floating exception — SHUDO Kazuyuki <shudoh@...>

[#11904] to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#11907] fraction class — ttate@...

[#11922] Re: to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#11925] Re: to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#11930] Forward: Re: to_i,to_s の素朴な疑問 — matz@... (Yukihiro Matsumoto)

[#11937] ruby の確認事項 — HQss_YasuiS/hq_ss@...

[#11944] Re: to_i,to_s の素朴な疑問 — Inaba Hiroto <inaba@...>

[#11957] can't make exts on FreeBSD 3.0 — kjana@... (YANAGAWA Kazuhisa)

[#11960] document|implemnt bu on Array#[x..y] — kjana@... (YANAGAWA Kazuhisa)

[#11973] press and PostgreSQL guide — Noritsugu Nakamura <nnakamur@...>

[#11976] ruby-gtk-0.16 — "D.Kanda" <MAP2303@...>

[#11989] calendar/date2 — Tadayoshi Funaba <tadf@...>

[#11990] [patch] sample/cal.rb — Tadayoshi Funaba <tadf@...>

[#11991] Re: Jed (Re: MailModule ver 0.2) — "豊福" <toyofuku@...>

[#11993] Re: to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#11999] pack/unpack — Shugo Maeda <shugo@...>

[#12000] how to make class? — "Kikutani, Makoto" <kikutani@...>

[#12024] [patch] marshal.c — Shugo Maeda <shugo@...>

[#12036] Re: to_i,to_s の素朴な疑問 — HQss_YasuiS/hq_ss@...

[#12046] Re: document|implemnt bu on Array#[x..y] — Inaba Hiroto <inaba@...>

[#12053] puts "\n" — "Takehiko Ueki" <takehiko@...>

[#12062] module in module — thitoshi@... (TAKAHASHI Hitoshi)

[#12063] Re: puts "\n" — "Takehiko Ueki" <takehiko@...>

[#12071] Re: document|implemnt bu on Array#[x..y] — Inaba Hiroto <inaba@...>

[#12072] Re: document|implemnt bu on Array#[x..y] — Inaba Hiroto <inaba@...>

[#12083] [Q] POPclient — Shugo Maeda <shugo@...>

[#12090] !=~ — "Kikutani, Makoto" <kikutani@...>

[#12105] ruby 1.2.3 released — matz@... (Yukihiro Matsumoto)

[#12117] INET client — "Kikutani, Makoto" <kikutani@...>

[#12118] ruby-termios-module — akira yamada / やまだあきら <akira@...>

[#12125] ruby on SunWorld Online — Takaaki Higuchi - Technology Marketing <Takaaki.Higuchi@...>

[#12143] Iterator with proc object — cercine@... (Takashi Ikeda)

[#12163] Number with unit — Jun Adachi <adachi@...>

[#12183] ruby-mode + font-lock-mode — SONODA Yoshihide (園田 吉英) <ysonoda@...>

[#12188] Re: Meeting2000 リリースします — 松尾尚典 <matsuo_hisanori@...21.odn.ne.jp>

[#12191] auto updater — SHUDO Kazuyuki <shudoh@...>

[#12192] Errata of RAA — kjana@... (YANAGAWA Kazuhisa)

[#12196] Ruby on UNIX MAGAZINE — Yasuhiro Fukuma <yasuf@...>

[#12200] subscribe — Akaishi <akaishi@...>

[#12201] rskkserv — Toru Hoshina <hoshina@...>

[#12216] SGmail doesn't download — moochan <moochan@...>

[#12217] It wants to install mon_ruby — moochan <moochan@...>

[#12225] disable CTL-c — "Kikutani, Makoto" <kikutani@...>

[#12248] tempfile — Kikutani Makoto <kikutani@...>

[#12260] slanglib-0.11 — Kikutani Makoto <kikutani@...>

[#12282] httptunnel — Noritsugu Nakamura <nnakamur@...>

[#12301] Meeting2000-0_92 — Toshiki Komai <komai@...4u.or.jp>

[#12302] [BUG] Segmentation fault — polygon <polygon@...>

[#12308] (閑話) 「 XML 開発者の日」にて Ruby 紹介ありですね。 — Atsuko Yoshida <atsuko@...>

[#12309] [REQ] rlex.rb — keiju@... (Keiju ISHITSUKA)

[#12315] RE: (閑話) 「 XML 開発者の日」にて Ruby 紹介ありですね。 — 助田 雅紀 <masaki.suketa@...>

[#12318] join — たむら けんいち <tamura-r@...>

[#12354] Re: [BUG] Segmentation fault — "Kozuka Masahiro" <kozuka@...>

[#12357] my PID — "Kikutani, Makoto" <kikutani@...>

[#12366] \1 がうまく行かない — Sinichiro Dezawa <dezawa@...>

[#12372] Re: my PID — 助田 雅紀 <masaki.suketa@...>

[#12374] Re: my PID — 助田 雅紀 <masaki.suketa@...>

[#12377] DESTDIR — Hitoshi Tomotsugu <hitoshi@...>

[#12398] 文字の正規 (?) 化 — m_seki@...

[#12401] mine-0.0.4 — Takahiro Maebashi <maebashi@...>

[#12412] Perllib for ruby — Yoshinori Toki <toki@...>

[#12414] naming rule — Akaishi <akaishi@...>

[#12423] a?b:c — "Kikutani, Makoto" <kikutani@...>

[#12427] Book of Ohmusya — moochan <moochan@...>

[#12428] 他の言語での特異メソッド /singleton method の呼び方 — Takashi Nakai <nakai@...1.sys.to.casio.co.jp>

[#12449] Re: Meeting2000-0_92b1 — "NAKAMURA, Hiroshi" <nakahiro@...>

[#12454] Re: It wants to install mon_ruby — Yasuhiro Fukuma <yasuf@...>

[#12457] making ruby on Digital Unix — Yuji Shigehiro <sigehiro@...>

[#12460] Re: HTTP/1.1 client & server — Satoru Takabayashi <ccsatoru@...>

[#12183] ruby-mode + font-lock-mode — SONODA Yoshihide (園田吉英) <ysonoda@...>

[#12315] RE: (閑話) 「 XML 開発者の日」にて Ruby 紹介ありですね。 — 助田　雅紀 <masaki.suketa@...>

[#12318] join — たむら　けんいち <tamura-r@...>

[#12372] Re: my PID — 助田　雅紀 <masaki.suketa@...>

[#12374] Re: my PID — 助田　雅紀 <masaki.suketa@...>