ruby-list

Siena. です。

▼ [ruby-list:35265] < Take_tk さん

》　むしろ単純に Float#succ を self+1 で定義して

》　２４時間単位の Time クラスを作って実験してみました。これがよさげ。

ちょっと気持ち悪さを感じます。なぜかを考えてみました。
# とかやっているうちに、既にいろいろと意見が出てますね

個人的には、n.succ() というと「n の *次に大きい* 数」と感じます。
つまり、n の属する集合は少なくとも全順序かつ離散的であって、
この全順序で与えられる順番で数え上げられると思っているようです。
この立場から考えると、連続な集合である (「次に大きい」という
概念が成立しない) 実数を表そうとしている Float に対して
#succ は定義できない/機能すべきではないのではないと思います。

実際に Float#succ は定義されていませんし、先立って #to_i
されているという事ですが、むしろ、#succ を直接呼んでしまって
NoMethodError を上げては、とか思ってしまいました。 # 過激 ^^;?

(Ruby 組み込みの) Time に対しても同様の違和感を感じます。
おまけに Time の場合には、差分が 0.01 秒か、1 日か、はたまた
1 世紀なのか、まるで見当が付かないという問題もありますね。

一方、今回の大元の Range はどういう「範囲」を表すものかというと、
Enumeratable なので全ての要素を数え上げられる集合ですよね。
連続な (不可算な) 数を表そうとしている Float を放り込んでいる
/放り込めてしまっているという点に違和感を感じます。
これも、(float..float) の時点で ArgumentError を(以下略 ^^;;)。

たけ(tk) さんの案は、どちらかというと連続集合中の区間を表す
Interval クラス (仮名) みたいなものが担うものではないでしょうか。
その上で、Interval#step( unit ) みたいなのを定義する、と。

Numeric 以外にも適用しやすくするために、仮に first が単位元を返す
#unit と、step 単位で n 個先の値を返す #advance を持つと仮定します。
First#unit は 1.0、Float#advance は self + n * unit ですね。
# String#unit は 1、String#advance は succ( n * unit ) かもしれない
まぁ、いろいろとやり過ぎとは思いますが ^^;

  def step( unit = first.unit() )  ## in class Interval
    n = 0
    while( ( val = first.advance( n, unit ) ) <= last )
      yield( val )
      n += 1
    end
  end
  alias :each :step  ## これは妥当かなぁ?

あと、(1..2) === 1.5 は ArgumentError となります (ruby 1.6.4) が、
Interval(仮) なら ( 1 <= 1.5 ) && ( 1.5 <= 2 ) という範囲の比較
として定義できるとか、開区間や半開区間も表せるようにできるとか、
それなりの意義はありそうに思います。

Interval(仮) のように連続な区間も表せるように Range を
拡張するというのもありえるとは思いますが、そうすると
少なくとも #to_a は妥当な定義が与えられないような気がします。

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

Thread

Prev Next

In This Thread

Prev Next

[#34988] BigFloat の to_i メソッドについて — Sako Hiroshi <sakoh@...2.so-net.ne.jp>

[#34989] mailing list archive? — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#34991] a = 4 ; p((a < 3) or (a > 5)) — Take_tk <ggb03124@...>

[#34994] コマンドライン引数の # — 渋川よしき <yoshiki@...>

[#35003] Is Ruby default in Jaguar? — maili31s@... (SugHimsi==SUGIHARA Hiroshi)

[#35005] FILE_READPTR — Daisuke Aoki <dai@...>

[#35028] win32.c 中の my* 関数について — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#35035] [irb] sub-irb vs cb — rubikitch <rubikitch@...>

[#35036] Re: Is Ruby default in Jaguar? — taiki0419@...

[#35041] [ANN] RDindex-1.1.9 — rubikitch <rubikitch@...>

[#35043] [ANN] rpkg / usage.sgml.ja — dellin <dellin@...>

[#35049] true はリテラル？ — Take_tk <ggb03124@...>

[#35052] ruby_lib/html/ — Wakou Aoyama <wakou@...>

[#35054] 「 Ruby/GTK プログラミング入門」 — Noritsugu Nakamura <nnakamur@...>

[#35058] Y Combinator — sinara@...

[#35065] 影舞 on Windows — "T.Fukagawa" <tfukaga@...>

[#35067] かりー化 — Masahiro Sakai (酒井政裕) <zvm01052@...>

[#35072] Mac OS X で mysql-ruby 実行時エラー — Takashi Hoshizawa <t_hoshizawa@...>

[#35080] Ruby から libglade 。 — "D.Miyawaki" <aaf18900@...06.odn.ne.jp>

[#35081] ISO 8601 と Time#wday — Take_tk <ggb03124@...>

[#35087] Re: Y Combinator — 正木 功 <GEC01122@...>

[#35098] patch for darwin — Yuji Yamano <yyamano@...>

[#35102] ANNOUNCE: REXML のドキュメントの和訳を公開しました。 — Kouhei Sutou (須藤功平) <kou@...>

[#35108] Ruby の一連の成果を CD-ROM に — Kentaro Hatori <hatori@...>

[#35109] DOS プロンプトからリダイレクションつきの system — TOYOFUKU Chikanobu <toyofuku@...>

[#35112] — "hideo kuramochi" <chj87900@...>

[#35113] Re: Marshallers summary — "NAKAMURA, Hiroshi" <nakahiro@...>

[#35128] Windows 版 Ruby で XML プログラミングを始めたい — 鈴木 祐亮 <yuupon@...1.dti2.ne.jp>

[#35134] 朝、トーストを食べていると不意に — Shin-ichiro HARA <sinara@...>

[#35158] TMail::Mail.decoded でエラー — "Morikawa [encore-ann]" <i@...>

[#35165] ソースコードの隠蔽 — OJ <oj@...7.com>

[#35169] Stack overflow で SEGV の取り扱いについて — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#35172] 名刺ジェネレータ ncgen 公開の案内 — NISHI Takao <zophos@...9.com>

[#35183] Glade で GUI 構築 — "D.Miyawaki" <aaf18900@...06.odn.ne.jp>

[#35207] tar.gz の展開 — "NAKANO Kouichi" <knuckle@...8.dion.ne.jp>

[#35215] ruby-shell-mode — "Shirai,Kaoru" <shirai@...1jp.com>

[#35219] RAA から OptionParser が取れません — TAMBARA Masahiko <m-tamb@...>

[#35242] rb_define_class — EMOTO Masahiko <emo@...>

[#35247] [ann] 『 Ruby de CGI 』発売 — 堀川 久 <vzw00011@...>

[#35249] setup.rb: packages/foo/ext/lib — "Akinori MUSHA" <knu@...>

[#35250] Mac OS X ではプリインストール？ — Take_tk <ggb03124@...>

[#35252] ((Time.now)..(Time.now+60)) — Take_tk <ggb03124@...>

[#35253] ((1.2)..(3.4)).to_a — Take_tk <ggb03124@...>

[#35264] HTML generation library — Wakou Aoyama <wakou@...>

[#35273] rd-mode.el - a bit fix — "Shirai,Kaoru" <shirai@...1jp.com>

[#35310] requests for current blade archives — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#35312] [irb] irb_soruce — rubikitch <rubikitch@...>

[ruby-list:35272] Re: ((1.2)..(3.4)).to_a

Thread

In This Thread

[#35028] win32.c 中の my* 関数について — 小西弘将 <konishih@...6.so-net.ne.jp>

[#35087] Re: Y Combinator — 正木　功 <GEC01122@...>

[#35128] Windows 版 Ruby で XML プログラミングを始めたい — 鈴木祐亮 <yuupon@...1.dti2.ne.jp>

[#35169] Stack overflow で SEGV の取り扱いについて — 小西弘将 <konishih@...6.so-net.ne.jp>

[#35247] [ann] 『 Ruby de CGI 』発売 — 堀川久 <vzw00011@...>