From: ttate@...
Date: 1998-06-30T22:45:12+09:00
Subject: [ruby-dev:3134] Re: Enumerable#reverse ([ruby-list:8579])

立石＠JAISTです。

;; この関係の話は面白いですね。
;; 作者の方にとっては判断が迫られるところでしょうけど、、、(^^;

gotoken>>えっと、countable って言うとぼくにとっては
gotoken>>一番小さな無限なんです ^^;;
gotoken>>Infinite って言うとなんか大雑把な気がして…

僕にとってはどっちも可算(枚挙)という感じです。
有限、無限は関係なしに。 > countabiliry,enumerability

gotoken>>finite でない Enumerable のつもりです。とりあえず
gotoken>>単にメソッドを減らしただけのを想像してましたが。
gotoken>>
gotoken>># そう考えると Enumerable も不満になるけどまあ
gotoken>># 許容範囲。
gotoken>># それと数学の言葉で indexable って言うのは
gotoken>># もうちょっと広い意味だと思いました(index set を
gotoken>># 指定しないと無意味)。

逆に？ countable setが定まらないとindexing set は
決まらなくないですか？

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

僕はどっちかっていうと賛成派です。

;; というか比較的言語仕様に
;; 合わせてしまう性格なもので、、、(^^;

gotoken>>そうですね。考え方の指針にはなると思います。
gotoken>>しかし、普通に考えると、superclass になればなるほど
gotoken>>一般的なクラスが来ると思うのですが、数学的対象を
gotoken>>その考え方でやると先に「集合」ってのがないとおかしいと
gotoken>>思うんです。それから「代数」とか「位相」とか…
gotoken>>でも、ruby のクラスと言うのは、まず「オブジェクト」
gotoken>>ありき、ですよね。で、このオブジェクトと言うのは
gotoken>>数学で言うといきなりどんな物か分からない。圏かな? 

カテゴリは集合よりさらに抽象的なものですよね？
んで、クラス階層の話ですがどうしても包含関係に
注目されますが順序関係と見てもいいはずです。
だからオブジェクトが何かというのは分からないまでも
その構造的な抽象度は他のクラスと変わらず同等ではな
いでしょうか？
(と疑問形で自信がない、、、、)

;; クラスを集合と同一視するからややこしい、、、
;; 「それともMetaなものが、、、」という話でしょうか？
;; MetaはMetaでいいような気がしますが、、、

----------------------------------------------
Name	Takaaki Tateishi
E-Mail 	ttate@jaist.ac.jp
	tateishi@pluto.dti.ne.jp
URL	http://www.pluto.dti.ne.jp/~tateishi/
Org	School of Information Science
	Japan Advanced Institute of Science and Technology (JAIST)