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

In article <[e-mail]>,
  Shin-ichiro HARA <[e-mail]> writes:

> 入れるとなんとなく微妙なことが出てきてしまうので、まつもとさんの案も 
> (Enumerable).zip(Array, Array, ...) なのではないかな。

そーかなー。なんとなく最初の実装をひきずってるだけな気が。
(みくびってる?)

> 例えば、each に副作用があるようなケースでですね。ちょっと奇抜な例かも
> しれませんが、各行 1,2,3,4,... と続く IO オブジェクト io に対しての 
> zip は、Enumerable.zip(io, io) #=> [[1, 2], [3, 4], ...] を期待したく
> なる気もするわけです。もっとも Enumerable は each の副作用を考えて作ら
> れるべきでないという話もあるのですが。

おぉ、副作用についてはぜんぜん考えていませんでした。
でも、この制約は許容可能なような。

> なるほど。でもこういう実装ならば、やはり Enumerable でなくて、Array に
> 作るべきかもしれません。

ふむ。Array のコンストラクタの一種、という見方ですかね。それは一理ある
ように思います。

まぁ、それはそれとして、やっぱどれかひとつを特別扱いするのは人工的だと
思うので、クラスメソッドにするか、Enumerable の Array に適用されるメソッ
ドにするかがいい気がします。
(もちろん Enumerable の Enumerable でもいいわけですが...)

% ruby -e '
class Array
  def zip
    arg, *args = self
    result = []
    arg.each {|v| result << [v]}
    until args.empty?
      arg = args.shift
      arg.each_with_index {|v, i| result[i] << v}
    end
    result
  end
end
p [[1,2,3,4], [5,6,7,8], [9,10,11,12]].zip.zip
'
[[1, 2, 3, 4], [5, 6, 7, 8], [9, 10, 11, 12]]

というように zip を 2回適用すると元に戻るし。
だからどうしたという気もしますが。

>  >2. 誰か Enumerable.zip() として適切な挙動を教えてください。
>  >  例外か [] どちらかだとは思うのですが。
> 
> あと、nil っていうのもありますね。本当は、[]、[[]]、[[], []]、
> [[], [], []]、... のどれでもいい、という不定なんでしょうけど。

ふむ。

3.downto(1) {|n|
  p ([[:a] * 4] * n).zip
}

とすると

[[:a, :a, :a], [:a, :a, :a], [:a, :a, :a], [:a, :a, :a]]
[[:a, :a], [:a, :a], [:a, :a], [:a, :a]]
[[:a], [:a], [:a], [:a]]

となるから、

lim  ([[:a] * 4] * n).zip = [[], [], [], []]
n->0

というかんじで、

lim  ([[:a] * m] * n).zip = [[]] * m
n->0

というようになりそうですね。確かに不定だ。とすると勝手に(m = 0 の時の
極限である) [] を選ぶのはまずくて、nil か例外が適切ということかな。

# うぅむ。正しく lim を使えた気がしない... そもそも離散的だし。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)