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

青木＠横浜です。基本的にROM な人間なんですがなんとなく書いてみました。

Tanaka Akira wrote:
> 有限でない Enumerable で困るというのは同意します。最終的に Array の
> Array を返すのであれば、無限に大きなオブジェクトを作るはめになって無限
> ループにならざるを得ませんので。
> 
> でも、その「無限ループが困るから Enumerable は扱わない」という立場は
> Enumerable の他のメソッドと整合がとれていないんじゃないでしょうか。
> all?, collect, map, grep, inject, max, min, partition, reject, sort,
> sort_by, to_a, entries あたりはみんな無限ループになるように思います。

無限ループになっても大丈夫な構造を積極的導入するとか。
例えば、sort なんか sort(block) とブロックをとって、
block.yield(最初からn個の要素でソートした配列,n) というものを
コールバックという形で実行するという形で、段々とソートしていく感じを
与えるとか。こういう仕様は上記の他のメソッドの多くでも導入できるし、
コールバックが true を返さなければループを終わらせるということに
すれば、ソートの完全性は失われるけど、柔軟なソートになるんじゃない
のかなと思う。ただ、ソートの速度は失われるかもしれません。
とは言え、需要は全然なさそうですけど :-P


まつもとさんが thread/continuation を使った並列 each を示してますけど、
むしろ、Enumerable の each メソッドの存在という仮定に代わって
findfirst/next 的なメソッドという「始め」と「次」があればいいという
仮定に変えることでより柔軟性が上がるんじゃないのかなと思います。
each はとにかく終わるまで次の処理に移れないというネックがあり
ますし。ただ、each メソッドを書くより、findfirst/next 的なメソッドを
書く方が面倒(というか汚くなる)な感じがあって(自分なりに試行錯誤
してみたもののきれいにはいかない)、たぶん、採用されることは
ないんだろうなと思います。

以上についての参考のスクリプトを添付しておきます。1.7以降用です(^^)

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

each が無限に続くと結果を出すことが重要な zip も結果が出る
前に無限に終わらないのは当然で、Array#each_zip {|i| ... }
みたいなものを想定しないとだめなのでは。
でも、[ruby-dev:18721] によると、zip してから並列 each する意図が
あって、別に並列 each して zip するつもりはないようですね。
Enumerable が対象だと後者じゃないのかなと思うものの。

最後に、zip の仕様について、
　・Array#zip_max : (a)
　・Array#zip_min : (b)
　・もしくは、Array#zip(max) : (a),(b)
　　　Array のメソッドで引数が true/false/nil のとき。
　・Enumerable#zip(a,b,...) : (c)
　　　Enumerable を include するクラスのメソッドで引数が
　　　true/false/nil でないとき。
とか。量が多くてだめかな。

-- 
青木大輔 <[e-mail]>