[ruby-dev:3130] Re: Enumerable#reverse ([ruby-list:8579])

ごとけんです

In message "[ruby-dev:3120] Re: Enumerable#reverse ([ruby-list:8579])"
    on 98/06/30, Keiju ISHITSUKA <[e-mail]> writes:

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

# 石塚さん、お名前を間違えて本当にごめんなさい (_ _;

>In [ruby-dev :3086 ] the message: "[ruby-dev:3086] Re:
>Enumerable#reverse ([ruby-list:8579]) ", on Jun/29 18:21(JST) GOTO
>Kentaro writes:

>>ちょっと進めて考えると将来的には実装の許す場合は並
>>行して each されるべき Enumerable (もしくは Bag) と
>>逐次 each される Sequence というのがあってもいいやも
>>知れません。
>
>ruby流ならSequenceableですね(^^;;;

変な言葉 ^^;;

>これは有限って前提もついているんですよね. 

>tailがあるくらいですから(^^;;;

そのつもりです。無限な対象を扱う場合は
遅延評価にするか、述語論理を実装した上で
無限対象の理論を個別に include するとか
しないと満足出来そうにないですから。

>>で、そう考えて reverse は、さらに head や tail, etc
>>を加えた Sequence という新しいモジュールに移すことを
>>提案します。
>ということは私が以前に提案したIndexableと近いモジュールになると思いま
>す. こちらは, 有限でindexで[], []=ができることになりますので, Sequence
>よりも[]=ができるぶんだけちょっと性質が強いことになりますが...

すみません、Indexable って忘れてしまいました。
たしか ++ 問題か _with_index 一派あたりで
出てきたんですよね。

>Countable(Set)ってどういうモジュールですか? 言葉からすると
>
>  Countable <=> "数えあげられる" <=> Enumerable
>
>って気がするんですが??

えっと、countable って言うとぼくにとっては
一番小さな無限なんです ^^;;
Infinite って言うとなんか大雑把な気がして…
finite でない Enumerable のつもりです。とりあえず
単にメソッドを減らしただけのを想像してましたが。

# そう考えると Enumerable も不満になるけどまあ
# 許容範囲。
# それと数学の言葉で indexable って言うのは
# もうちょっと広い意味だと思いました(index set を
# 指定しないと無意味)。

ま、そんなわけですが、Enumerable から reverse 削除と
Sequential/Sequence の提案はいかがですか? 


>>以前まつもとさんが指摘されたように、クラス階層は所詮実装の継承の階層
>>なのでブルバキ的な数学の公理体系を踏襲してもあまりうれしくないですし。
>
>ブルバキって公理主義じゃなくて構成主義だと思いますですので, こういうク
>ラスを組み立てていく時には, 役に立つと思っているのですが...
>
># Numeric回りのクラスはまさにこの考えに近いかなと...

そうですね。考え方の指針にはなると思います。
しかし、普通に考えると、superclass になればなるほど
一般的なクラスが来ると思うのですが、数学的対象を
その考え方でやると先に「集合」ってのがないとおかしいと
思うんです。それから「代数」とか「位相」とか…
でも、ruby のクラスと言うのは、まず「オブジェクト」
ありき、ですよね。で、このオブジェクトと言うのは
数学で言うといきなりどんな物か分からない。圏かな? 
って気もするけど、それでは言いつくせないような気が
強くします。本来数学にはない等価性と違う同一性なんて
ものがあるし。
だからブルバキの発想は参考にしても良いけど、もともと
違う世界観でやってるので数学的な対象をクラス化する
ときは特に注意を要するのではないかなぁっと。
# なに長々語ってんだか ^^;;;

>># ところでみなさんは半順序を扱わないのでしょうか?
>># つまり <=> が -1,0,1 以外に false もあるような
>># 集合の包含関係に代表される順序を。
>># やっぱりそんなことは sml とかに任せれば良いのかなあ
>
>そうですねえ... プログラム上使いたい場面ってあるんですかね? いや. もし
>使ったとしても, 半順序関係をサポートしてくれるクラスが存在すると何か嬉
>しいことがでてくるんですかね?

Enumerable のメソッドは <=> が false を取らないと
いう仮定で作られてるのでなんらかの「有限集合」の
クラスを書こうとするとき Array を選んで演算とかして
しまいますが、これは色々制約がきついんです。
まぁ DelegateClass のおかげでだいぶ楽になりましたが。

-- gotoken