ruby-dev

Siena. です。

▼ [ruby-dev:17247] < Yukihiro Matsumoto さん

》ニーズは理解できましたが、それを満たす適切なルールはまだ思い
》つきませんね。単に+があるだけじゃ駄目だと思うし(文字列や配列
》の+のように違う意味のことがあるので)。

単に + があるだけでは駄目、というのは、succ が存在しなくて
+ が存在するという場合に、+ が算術的な意味で定義されてないと
期待するように動作しないから、という理解で良いですよね。
現状で、適切なルールを定めるのは困難ではないかと思います。

+ を算術的な意味ではなく、便宜的な目的で定義している
String の方が問題を作り出してしまっているわけですよね。
もちろん、String に限りませんし、それらは + があると格段に
便利になるなど恩恵に浴しているわけで、なくなると困ります ^^;
しかし、今回のように困る事はそれなりにあると思いますので、 
算術的な意味での演算であるかを確認できるようにできないでしょうか。

とりあえず、「Numeric ならば」というのは保証にならないので、例えば
Arithmetic モジュールを導入し、必要に応じて include する事にして、
Numeric 以外でも算術を保証できるようにするとかいうのを思い付きます。
あるいは、算術的な意味での + ならば、__add__ というメソッドを
定義して、alias :+ :__add__ とするように約束を設けるとか。
あ、__add__ 等を定義して、include Arithmetic すると、
必要に応じて alias されるというのでも良いかもしれません。

あと、厳密に計算できるか、計算誤差が伴う可能性があるか、も
判定できると、Float のような問題に対処しやすくなりそうです。

# Numeric って、実質的には実数の部分集合だけです?

---
Siena. <mailto:siena@cr.chiba-u.ac.jp>

Thread

Prev Next

In This Thread

Prev Next

[#17276] blocks and local variables — Takaaki Tateishi <ttate@...>

[#17315] Re: mswin32 での config.status の自動生成 — "U.Nakamura" <usa@...>

[#17327] irb 0.9 alpha — keiju@... (Keiju ISHITSUKA)

[#17329] parsedate 世界を食べる — Tadayoshi Funaba <tadf@...5.so-net.ne.jp>

[#17360] Ruby/safeTk — nagai@...

[#17367] Ruby bcc32 on Win32 版のコミットについて — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#17384] avoid VC++ warnings — "U.Nakamura" <usa@...>

[#17392] [mswin32] exporting needless string literal — Tietew <tietew-ml-ruby-dev@...>

[#17393] [mswin32] static linked exts — Tietew <tietew-ml-ruby-dev@...>

[#17395] mkmf.rb の install:, site-install: — Masao Mutoh <mutoh@...>

[#17403] irb new feature — keiju@... (Keiju ISHITSUKA)

[#17407] CVS 版の mkmf.rb — Masao Mutoh <mutoh@...>

[#17410] Hash.[] — takuma ozawa <metal@...>

[#17412] 1.6.7 がコンパイルできない — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#17421] broken string when unterminated "#{". — WATANABE Hirofumi <eban@...>

[#17430] return value from methods of Array's subclass — "Shin'ya Adzumi" <adzumi@...>

[#17437] $BBjL>K:$l$G$9 (^^; — 正木 功 <GEC01122@...>

[#17446] ternary operator and char literal (Re: parse error with `true || break ? 0 : 1' (PR#261)) — nobu.nakada@...

[#17470] Range#=== — Tadayoshi Funaba <tadf@...5.so-net.ne.jp>

[#17471] break from proc-closure — m_seki@...

[#17475] String#crypt always returns tainted string — Kazuhiro NISHIYAMA <zn@...>

[#17488] doubled value_expr() warning — nobu.nakada@...

[#17493] [PATCH] reduce recursion level — nobu.nakada@...

[#17513] __END__ in literal — nobu.nakada@...

[#17572] Re: [ruby-list:35439] Re: win32ole で excel が終了しない — Masaki Suketa <masaki.suketa@...>

[#17579] Re: [ruby-cvs] ruby: * dln.c: remark definition rb_loaderror(). — WATANABE Hirofumi <eban@...>

[ruby-dev:17265] Re: [ruby-list:35305] Re: ((1.2)..(3.4)).to_a

Thread

In This Thread

[#17367] Ruby bcc32 on Win32 版のコミットについて — 小西弘将 <konishih@...6.so-net.ne.jp>

[#17412] 1.6.7 がコンパイルできない — 小西弘将 <konishih@...6.so-net.ne.jp>

[#17437] $BBjL>K:$l$G$9 (^^; — 正木　功 <GEC01122@...>

[#17513] END in literal — nobu.nakada@...