From: gotoken@... (GOTO Kentaro)
Date: 1998-07-10T05:20:06+09:00
Subject: [ruby-list:8673] Re: Equivalence.rb

ごとけんです

In message "[ruby-list:8665] Re: Equivalence.rb"
    on 98/07/09, toyofuku@juice.or.jp <toyofuku@juice.or.jp> writes:

>  豊福＠パパイヤです。
>
>  初等整数論の勉強なんかでも利用して遊べそう
>ですね。

そ、それが、無限の対象をハンドルする良い書き方が
分からないんです。もちろん Integer のような全順序で
演算のいっぱい入ってるモノなら色々ありますが、
僕は文字列集合のよーな enumerator が一意でないものを
念頭に置いてることがおおいので、そっちのことも
考えるとナイスな仕様が浮かばなくて… 
も少し考えてみます。

>  [1]_q0 みたいな書き方ができると同値類っぽく

なる! []_abc とか {}_foo とか ()_xyz などの
文法は嬉しいかも知れませんね。
1.3alpha が始まってからお願いしてみようかな。

>感じるかもしれませんが、q0[1] と書かれると
>配列#[]文化にそまってしまった私にはもはや配列
>の値にしかみえません。(;_;)

えーっと、代表元をキーとする Hash のよーなモノと
見るとすんなりするのでわ? いかがです?

# この辺の「字面についた手垢」は興味深いですねぇ

いづれにせよ、もっともな提案をいただいたので
equivalence_class() を定義して [] を alias にします。

-- gotoken