[ruby-dev:18719] Re: Enumerable#zip

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

> そうですね。threadやcontinuationを使えばEnumerableでも並行
> eachができますが(添付)。

もちろんそれは知っていますが、自制心を発揮して触れませんでした。zip を
作るなら thread や continuation を使って有限でない Enumerable も扱える
ようにすべきだと主張するほうがいいでしょうか? なお、その場合、zip の返
り値は Enumerable of Enumerable になります。

> どっちかっていうと見かけが悪いってところじゃないでしょうか。

これは(説得が)難しい...
書きやすさに関する議論でどうにかなるといいんですが。

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

> 微妙って言うか、そもそもインデックスができないEnumerableもあ
> りますし(もともと必須ではないから)、あと有限でないEnumerable 
> もあるわけですから、内部イテレータしかなければ(スレッドや継
> 続を使わない限り)、Arrayでないものを入れるのは難しいんでない
> かなあと思います。

「インデックスができないEnumerable」というのはどういう意味でしょうか?
マニュアルの

| Enumerable
| 
| 繰り返しを行なうクラスのための Mix-in。このモジュールのメソッドは全て each を用
| いて定義されているので、インクルードするクラスには each が定義されていなければ
| なりません。

というところからして、each は前提としていいわけで、0 から始めて each
での各繰り返しごとにインクリメントしていけば、必ずインデックスをつけら
れると思うのですが。

有限でない Enumerable で困るというのは同意します。最終的に Array の
Array を返すのであれば、無限に大きなオブジェクトを作るはめになって無限
ループにならざるを得ませんので。

でも、その「無限ループが困るから Enumerable は扱わない」という立場は
Enumerable の他のメソッドと整合がとれていないんじゃないでしょうか。
all?, collect, map, grep, inject, max, min, partition, reject, sort,
sort_by, to_a, entries あたりはみんな無限ループになるように思います。

ついでにいえば、現在の zip も

% ruby -e '
class C
  include Enumerable
  def each
    loop {
      yield 1
    }
  end
end
p C.new.zip([2])'

というように無限ループは起こりますし、Generator 版の zip もあの実装だ
と無限ループになります。

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:


> いや、Cから継続やスレッドを使うのが面倒だからというのは大き
> な理由ですから、みくびっているとは言えないと思います。気がつ
> いてないと言われたら違いますけど。

Array of Array を返す限りにおいて thread や continuation は必要ないと
思うんですが。Enumerable に副作用があって実行順序に依存することってそ
んなに重要ですかね?

> 人工的かどうかは私は気にしてません。それが書きやすさを支援す
> るかどうかだけに関心があります。どうせ人工言語だし。

たしかにそれはそうですね。表現しなおします。

転置行列みたいなもの(一般には 2次元のテーブルの縦横をひっくり返すもの)
を書くのには、クラスメソッドにするか、Enumerable の Array に適用される
メソッドにするかがいい気がします。現在の、最初の列とそれ以降の列がレシー
バと引数にわかれる形式だと、Array of Array で表現されていたものをまず
最初とそれ以降に分割してから適用しないといけません。

さて問題は転置行列みたいなものが zip の用途として想定されているものか
どうかです。もし主要な用途として想定されているのであれば現在の形式はよ
ろしくないということになります。

で、主要と想定されている用途はなにかというのが疑問になるわけですが...
導入された経緯が「Dan SugalskiのPerl6の話に触発されて」としか書いてな
いのでわかりません。どんな用途を想定しているんですか?
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)