ruby-dev

Issue #5513 has been reported by tadayoshi funaba.

----------------------------------------
Feature #5513: Numeric へ述語語の追加
http://redmine.ruby-lang.org/issues/5513

Author: tadayoshi funaba
Status: Open
Priority: Normal
Assignee: 
Category: 
Target version: 2.0


現在の Numeric では、その表現の特徴について問合せる基本的な語が不足して
おり、プログラミングにおいて総称性の確保が難しくなっています。いくつか
の述語を追加することで、未知への数値表現への備えが出来、協調して働く基
盤が整うと思われます。

具体的には以下の述語を追加する事を提案します。

Numeric#rational?、Numeric#complex?、Numeric#float?
Numeric#exact?、Numeric#inexact?
Numeric#finite?、Numeric#infinite?、Numeric#nan?
Numeric#positive?、Numeric#negative?

Ruby においては、クラス階層はほぼ実装の為の便宜的なものですが、実際には
プログラミングにおいて、それがどのクラスであるのかを手掛りにしている事
も多いです。しかし、それは正しいやり方になりません。例外的に、
Numeric#real? と Numeric#integer? は既に用意されています。

Ruby では、Scheme におけるような厳密数と非厳密数の区別がありません。こ
のため総称性の確保が困難になっています。その為、現在の Complex の実装な
ども真っ当なやり方とは言えない部分があります。

Ruby には既に Float#finite? などがありますが、実際には、BigDecimal を見
ればわかるように、これは Numeric にあるべきものだったと思います。

Numeric の中には負の零を表現できるものもあります。そういった区別も含め
て、正負を区別する必要がある場合もあるでしょうから、簡単に区別が出来る
ようなっている事は意味があると思います。

かつて数などはひとつだけあればいいのだ、と言った人もいましたが、それは
現実的でなく、実際に Ruby の数はそのようになっていません。そうではなく、
複数ある表現を使いわけてひとつの系としてうまく働くようにするしかないの
だろうから、その為には、このようなものが必要であると思います。




-- 
http://redmine.ruby-lang.org

Thread

Prev Next

In This Thread

Prev Next

[#44566] [Ruby 1.9 - Bug #5386][Open] FiberオブジェクトのGC時にSEGV — Kazuki Tsujimoto <kazuki@...>

[#44568] Rubyコミッター英会話力授業提案 — Chris White <cwprogram@...>

[#44573] [Ruby 1.9 - Bug #5390][Open] YAML.load が、正しく解析できないエンコーディングの文字列も受け付けてしまう — yu nobuoka <nobuoka@...>

[#44580] a_matsudaさんをコミッターに — Yukihiro Matsumoto <matz@...>

[#44581] [Ruby 1.9 - Bug #5419][Open] FileUtils.cp_rの:preserveの動作 — Masatoshi Seki <seki@...>

[#44586] [Ruby 1.9 - Bug #5423][Open] readlineの入力待機中に端末のウィンドウサイズ変更すると入力内容が乱れる — Takuto Matsuu <matsuu@...>

[#44589] [Ruby 1.9 - Bug #5429][Open] 64ビットなFreeBSDのioctlでビット31が1なリクエストの時の不具合 — Makoto Kishimoto <redmine@...>

[#44596] [Ruby 1.9 - Bug #5439][Open] r33361以降sample/test.rb:systemがFになる — Naohisa Goto <ngotogenome@...>

[#44600] [Ruby 1.9 - Bug #2642][Open] PTY.check is broken — Makoto Kishimoto <redmine@...>

[#44601] [Ruby 1.9 - Bug #5451][Open] cgi/core.rbのread_multipart()で$stdioを直接使っているために、ruby-fcgiでmultipart/form-dataが使えない — Kazuhiko Shiozaki <kazuhiko@...>

[#44602] keyword arguments — Yusuke Endoh <mame@...>

[#44604] Ruby 2.0 release plan — "NARUSE, Yui" <naruse@...>

[#44632] [Ruby 1.9 - Bug #5464][Open] compile error in vm_eval.c — Naohisa Goto <ngotogenome@...>

[#44648] [Ruby 2.0 - Bug #5467][Assigned] ENABLE_VM_OBJSPACE on Windows — Usaku NAKAMURA <redmine@...>

[#44657] [Ruby 1.9 - Bug #5469][Open] Bus Error when accessing NAN and INFINITY — Naohisa Goto <ngotogenome@...>

[#44680] [Ruby 2.0 - Feature #5454] keyword arguments — Yusuke Endoh <mame@...>

[#44683] [Ruby 2.0 - Bug #5471][Open] tkのマニュアルファイルのtypo — 三村 益隆 <takkanm@...>

[#44685] [ruby-trunk - Feature #5454][Rejected] keyword arguments — Yusuke Endoh <mame@...>

[#44688] [ruby-trunk - Bug #5475][Open] r33507以降SolarisでPTYが使えない — Naohisa Goto <ngotogenome@...>

[#44691] A rough release schedule for 2.0.0 — Yusuke Endoh <mame@...>

[#44696] [ANN] 2011年度助成金公募 — Shugo Maeda <shugo@...>

[#44702] Re: [ruby-cvs:40712] nobu:r33534 (trunk): * configure.in (RUBY_FUNC_ATTRIBUTE): unset temporary variable. — Tanaka Akira <akr@...>

[#44707] [ruby-trunk - Feature #5512][Open] Integer#/ の改訂 — tadayoshi funaba <redmine@...>

[#44708] [ruby-trunk - Feature #5513][Open] Numeric へ述語語の追加 — tadayoshi funaba <redmine@...>

[#44709] [ruby-trunk - Feature #5514][Open] Numeric への quotient と quotrem の追加 — tadayoshi funaba <redmine@...>

[#44710] [ruby-trunk - Bug #5515][Open] Integer#quo(aFloat) の結果が Rational になる — tadayoshi funaba <redmine@...>

[#44711] [ANN] Ruby 1.9.1 is dying — "Yuki Sonoda (Yugui)" <yugui@...>

[#44712] [ANN] Ruby 1.9.3-p0 is out — "Yuki Sonoda (Yugui)" <yugui@...>

[#44713] Re: [ruby-changes:21512] akr:r33561 (trunk): * configure.in: check dup3. — KOSAKI Motohiro <kosaki.motohiro@...>

[#44719] [ruby-trunk - Feature #5520][Open] Numeric#exact?、Numeric#inexact? の追加 — tadayoshi funaba <redmine@...>

[#44720] [ruby-trunk - Feature #5521][Open] Numeric#rational?、Numeric#complex?、Numeric#float? の追加 — tadayoshi funaba <redmine@...>

[#44721] [ruby-trunk - Feature #5522][Open] Numeric#finite?、Numeric#infinite?、Numeric#nan? の追加 — tadayoshi funaba <redmine@...>

[#44722] [ruby-trunk - Feature #5523][Open] Numeric#sign の追加 — tadayoshi funaba <redmine@...>

[#44726] [ruby-trunk - Bug #5524][Assigned] IO.wait_for_single_fd(closed fd) sticks on other than Linux — Yui NARUSE <naruse@...>

[#44734] IO.select timeout — Tanaka Akira <akr@...>

[#44735] [ruby-trunk - Feature #2968] 数値の正負を返すメソッド — Kenta Murata <muraken@...>

[#44737] Re: [ruby-changes:21538] naruse:r33587 (trunk): * io.c (rb_cloexec_pipe): NetBSD 6.0 will support pipe2(2), — Tanaka Akira <akr@...>

[#44742] [ruby-trunk - Bug #5526][Assigned] SEGV: ./ruby -rfiber -ve'f=Fiber.new{f.resume};f.transfer' — Yui NARUSE <naruse@...>

[ruby-dev:44708] [ruby-trunk - Feature #5513][Open] Numeric へ述語語の追加

Thread

In This Thread

[#44683] [Ruby 2.0 - Bug #5471][Open] tkのマニュアルファイルのtypo — 三村益隆 <takkanm@...>