[ruby-list:8573] Re: hash sort

ふなばです。

僕はかなりあやしいでしょう。たまたま縁があって、この話題には関心がある
んで発言してますが、まつもとさんや石塚さんみたいにホントにわかってるひ
とはわらってるかも。

>つまり nonzero? を使う/使わないという問題とは関係なく
>Array#<=> は辞書式のような階層的順序が仮定されてるので、
>そーゆー階層を導入しにくい場合ですね。

それは全くその通りだと思います。もちろん、Array#<=> があれば、どんな問
題も解決できるといっているわけではなくて、Array#<=> の存在を前堤に、
nonzero?  が存在しつづける本質的な意義があるのかどうかに興味があるので
す (もちろん、本質的な意義がないとしても、あっていいし、つかってもいい)。
なにか、nonzero? よりも劣るところがあるのか、そこが知りたいんですね。

>さらに上の例だと最終的に何らかの <=> で解決してますが、
><=> を実装してない場合は nonzero? を使ってその場限りの
><=> をブロックに書き込むのは理にかなってると思います。

じつは <=> があるかどうかは問題の本質的でないように思います。 なんとい
えばいいのか、比較の対象っていうのか、それがハッキリしているかどうか、
そこが問題のような気がします。

nonzero?  は or を活かすための方便としてあって、結びついて nonzero? or
となって意義があるわけで、それ故にその表現力は限られた場面でしか発揮で
きないようになっていると思います。

    (a0 <=> b0).nonzero? or ... aN <=> bN

は

    [a0...aN] <=> [b0...bN]

と簡単に言い換えることができるみたいです。そうであれば、比較の対象がボ
ケてしまう nonzero? or はあまりオススメできないように思うわけです。

>てゆーか、array.c をみたけど Array#<=> の実装自体が
>まさに nonzero? 相当のことをやってるわけだし。

うーん、そうだといいたいですが、ここで nonzero? は or と結びつかないと
存在意義がないようなもので、ループをつかうなら nonzero? はいらないので
す。e0.nonzero? or e1.nonzeoro? or ...  と並べるときに意味がある。しか
も、数個程度ならいいけど、それ以上は現実的でない。書きづらいし、読みづ
らいし、遅いです。

自分でいってしまいますが、Array#<=> で懸念されるのは、 or による評価の
打ち切りがないので、無用な評価があるかもしれないということじゃないでしょ
うか (もちろん、 比較の打ち切りはある)。重いメソッド呼びだしなどがあっ
たらどうなのか。

    (0 <=> 1).nonzero? or (sleep 10) <=> (sleep 10)

は

    [0, (sleep 10)] <=> [1, (sleep 10)]

と決定的に違うということになります。

こういうときは要素を  call する <=> をあらたに用意し、要素はあらかじめ
proc 化しておけばいいのです (自前で遅延評価まがいのことをする)、という
のは冗談ですけど、どうしてもそれが必要だっていうのなら、なにかを諦めな
ければならないのかなあ。でも、そんなに問題なることはないだろうと思って
います。やはり肝心なのはソートでしょうが、ソートにおいてそのように問題
になることがあるとすれば、そのこと自体がちょっとおかしいことのように思
えるんですが、いかがでしょう。

というわけで、nonzero? or をつかっちゃいけないってことはないんですけど、
やっぱり、とにくオススメできる理由もないように思えます。

># いや、こんなに議論始めるつもりはなかったんです。
># つき合ってくれてどうもです。

いえいえ、僕のほうこそ、つきあわせてしまったようで、ありがとうございま
す。

# これは nonzero? をだしたことについての反省文なのだろうか?
# しかし、眠い。また、ボケたこと書いてなければいいけど...

--Tadayoshi Funaba