[ruby-dev:6397] Re: Range (Re: array[last..first] (Re: Subseq of Array))

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

In [ruby-dev :6379 ] the message: "[ruby-dev:6379] Re: Range (Re:
array[last..first] (Re: Subseq of Array)) ", on Mar/17 04:20(JST)
Wakou Aoyama writes:

>青山です。

>> メイルが分散すると何なので, まとめちゃいました.
>
>ありがとうございます。ばらばらなのは気になっていたのですが、面倒だった
>のでそのままにしていました。

いえ(^^;;

>> とかいってあまりゆっくりやっていると, 忘れてしまう(^^;;
>確かに。すでに少し忘れていました。一度忘れると思い出すのも大変ですから、
>ぼちぼちと続けておいた方が安全ですね。

ですね.

>> 私は, 数学でいうところの
>> 
>>   a..b == [a, b]
>> 
>> ってイメージです. ですので, あくまで実数の集合ですね. そういった意味で
>> 立石さんのモデルと近いです.
>> 
>> 青山さんはどのくらい ``純粋に範囲だけで順序も要素も無い'' にこだわれて
>> ますか?
>
>といいますか、実数の集合の方はとりあえず Range3 かなという事で書いてい
>ました。

>最初は Range が純粋な範囲で Range2 が実数の集合という感じだったのです
>が、現在の Range とは別に実験を行った方が良さそうという事になったので、
>そのままシフトして Range2 を純粋な範囲の実験用、Range3 を実数の集合等
>の実験用といったあたりではどうかなと。

なるほど.

>どちらも実験用という事で、特に 2 3 という数字に意味はありません。また、
>名前についても集合の意味が強くなれば Range ではない新たなクラスが派生
>する可能性もあるかと思われますし。

ですね.

>>   range3 = range2.selection(range2.min, proc{|x| x + skip})
>> 
>> でrange3相当のSelectedESetが生成できます.
>
>ああ、なるほど。どれくらい純粋な範囲にこだわっているかという意味がわか
>りました。
>
>私はたぶん立石さんの感覚に近いと思います。range2 は範囲だけで、range3
>相当を生成するのは range2 自身ではなく Loop(という名前が適切かどうかは
>別として)である方が良いように感じていますから。
>
>range3 = Loop.new(range2, range2.min, proc{|x| x + skip})
>
>という感じですか。[ruby-dev:6233] の立石さんの案そのままですね。

立石さんのは

  range2 = Set.new(proc{|x| a <= x and x <= b}

って感じですから, まさに集合だと思いますよ. 立石さんのは集合(Set)とそ
の選択(Loop)からなっていて, 私のは立石さんと同じ集合(Set)と順序集合
(EnuemrableSet)からなっています.

で, 大元のRangeはどうかというと, 区間的な性質は例外的なもので, Range3
的な要素が強いんですね...

私としては, もっと集合的な側面を強調した方が良いと思っているんですが...
そしてそれをベースに色々派生させた方が...

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