ruby-dev

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :01657 ] the message: "[ruby-dev:1657] Re:
[ruby-list:7057] Re: infinity ", on Mar/10 19:44(JST) Shugo Maeda
writes:

>前田です。
>
>そろそろruby-devへ振ります。
># ほんとはもっと前に振ろうと思ったんですけど忘れてました。

最近, ruby-listでもレベルの高い話しが多くてついていけない(^^;;;

>|そちらはきっとInfは存在しないはずです. NaNは... この場合は例外かな... 
>|# 何かおかしいなぁ.... やはり, 例外ベースの方がいいんだろうか...
>
>Floatの時だけNaNが出てくるのはなんとなく変な感じもしますね。

ですね...

>|あれれ. パッチ出ていたんですか(^^;;; メイルが多過ぎて全部読み切れてい
>|ない...

>すみません、[ruby-list:7029]に僕が書いたパッチのことです(^^;
>一応、その部分だけ抜き出しておきます。

わざわざすいません. いただきました.

>いっそのことFloatは特別扱いにして(ZeroDivisionErrorも含めて)
>例外を上げないようにする、というのも手なのではないでしょうか。
>
>あるいは
>
>Float.raise_infnan_error = true
>
>とした時だけ例外を上げるとか。

それもてですね.

もう一度整理すると

1. 数学的な無限大を扱いたい
2. FloatのInf/Nanはどうするか?
3. rubyの標準の動作である例外との擦り合わせはどうするか?

と3つ問題があることになるんですね.

標準の rubyは数値の演算の結果としてクラスが変わるってことがないんです
よね. 

  Integer op Integer => Integer
  Float op Float => Float

例えば,

  1 / 2 => 0

になります. 例外は例外が発生する時だけです.

このモデルはこのまま保った方が良いと思うので, そういう意味では Floatの
演算の結果としてInfが出るとしてもそれはFloatに閉じている方が良いと思い
ます.

次に例外にすべきかInfのような定数を採用すべきかどうかですが, 例外にし
た方が良いんじゃないかな... って気がしています. そのほうが, 現状のruby
のモデルにあっていますし, InfとかNanとかに結論としてなった場合それなり
の処理を書かなくてはならないはずですから, それならいっそのこと例外にし
ちゃった方が良いのではと思います.

ただし, Inf/Nanがあるとそれなりに結果が出るので, そういうことでも良い
と思う人のために, 例外を出さないモードを用意するというのはどうでしょう
か? 

# 前田さんの意見とは逆ですが...

また, pack/unpackもありますしInf/Nanを判断するメソッドは必要でしょう.

最後に数学的な無限大ですが, Inf/Nanとは別にNumericかRealの下にクラスを
導入して定数として実装するというのはどうでしょう?

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: keiju@rational.com <<---

Thread

Prev Next

In This Thread

Prev Next

[#1553] [BUG] String.dup — keiju@... (Keiju ISHITSUKA)

[#1555] Re: extended regular expression — matz@... (Yukihiro Matsumoto)

[#1557] IO#putc/Kernel#putc/Kernel#putchar — shugo@... (Shugo Maeda)

[#1562] Re: monitor.rb — keiju@... (石塚圭樹 )

[#1563] def foo(a);end — keiju@... (Keiju ISHITSUKA)

[#1566] Email your AD to 57 MILLION People ONLY $99 — 29818412@...

[#1571] about reading source code — tateishi@... (Takaaki TATEISHI)

[#1585] Re: extended regular exp — 岡部 勝幸 <HGC02147@...>

[#1602] with — shugo@... (Shugo Maeda)

[#1610] [BUG] IO & Socket & Thread / Cygwin32 — sinara@...

[#1618] printf "%x", -1 — WATANABE Hirofumi <watanabe@...>

[#1620] File class bug? — IWAMURO Motonori <iwa@...>

[#1657] Re: [ruby-list:7057] Re: infinity — shugo@... (Shugo Maeda)

[#1658] Re: [ruby-list:7060] Re: infinity — keiju@... (Keiju ISHITSUKA)

[#1673] Re: [ruby-list:7066] Re: infinity — 助田 雅紀 <masaki.suketa@...>

[#1677] Re: [ruby-list:7066] Re: infinity — 助田 雅紀 <masaki.suketa@...>

[#1682] Re: infinity — toyofuku@...

[#1718] new coerce [Re: coerce] — keiju@... (Keiju ISHITSUKA)

[#1735] experimental release 1.1b9_01 — matz@... (Yukihiro Matsumoto)

[#1738] UBASIC — toyofuku@...

[#1752] WeakRef — keiju@... (Keiju ISHITSUKA)

[#1783] [Req] Comparable#min/max — keiju@... (Keiju ISHITSUKA)

[#1790] trap and throw problem — keiju@... (Keiju ISHITSUKA)

[#1791] Re: trap and throw problem — keiju@... (Keiju ISHITSUKA)

[#1815] Bigfloat [Re: MP [Re: infinity]] — keiju@... (石塚圭樹 )

[#1820] [Req] Float#frexp and Float.ldexp — keiju@... (Keiju ISHITSUKA)

[#1837] Re: [ruby-list:7131] Re: [REQUEST] Mathematical divmod (Re: calendar-html.rb) — Shin-ichiro HARA <sinara@...>

[#1845] [ANNOUNCE] grepsvr.rb (Re: [ruby-list:6471] Manual Server) — Shin-ichiro HARA <sinara@...>

[#1859] experimantal release 1.1b9_04 — matz@... (Yukihiro Matsumoto)

[#1860] [Request] FileTest.text?, test(?T, ) — Shin-ichiro HARA <sinara@...>

[#1866] [Req] __READLINE__, __FILE__ — keiju@... (Keiju ISHITSUKA)

[#1886] Re: [ruby-list:7182] Re: chomp! — WATANABE Hirofumi <eban@...>

[#1889] [Bug] autoload problem — keiju@... (Keiju ISHITSUKA)

[#1896] [Bug?] return in iterator — keiju@... (Keiju ISHITSUKA)

[#1897] [bug] tktext.rb — Takahiro Maebashi <maebashi@...>

[#1908] RUBYLIB and default path problem — keiju@... (Keiju ISHITSUKA)

[#1913] [Bug] Float#divmod, Float#% — keiju@... (Keiju ISHITSUKA)

[#1924] Re: coerce — toyofuku@...

[#1927] Re: [ruby-list:01924] test — matz@... (Yukihiro Matsumoto)

[#1928] protected methods (Re: sort-schedule.rb) — matz@... (Yukihiro Matsumoto)

[#1935] [Bug] iterator of delegator — keiju@... (Keiju ISHITSUKA)

[#1950] Re: new coerce — toyofuku@...

[#1959] experimantal release 1.1b9_05 — matz@... (Yukihiro Matsumoto)

[#1962] [Bug] closed? — keiju@... (Keiju ISHITSUKA)

[#1975] experimantal release 1.1b9_06 — matz@... (Yukihiro Matsumoto)

[#1977] [BUG] catch, throw — WATANABE Hirofumi <eban@...>

[#1979] [Bug] File.umask — keiju@... (Keiju ISHITSUKA)

[#1982] Re: new coerce — toyofuku@...

[#1991] READ_DATA_PENDING — WATANABE Hirofumi <watanabe@...>

[#1994] eval exp, bind, fn, ln — keiju@... (Keiju ISHITSUKA)

[#1996] anArray .uniq — Kazunori NISHI <kazunori@...>

[#2002] [Req] Binding.new — keiju@... (Keiju ISHITSUKA)

[#2005] Re: coerce — Toyofuku <toyofuku@...>

[#2006] Re: new coerce — Toyofuku <toyofuku@...>

[ruby-dev:1659] Re: [ruby-list:7057] Re: infinity

Thread

In This Thread

[#1585] Re: extended regular exp — 岡部　勝幸 <HGC02147@...>

[#1673] Re: [ruby-list:7066] Re: infinity — 助田　雅紀 <masaki.suketa@...>

[#1677] Re: [ruby-list:7066] Re: infinity — 助田　雅紀 <masaki.suketa@...>

[#1866] [Req] READLINE, FILE — keiju@... (Keiju ISHITSUKA)