[ruby-dev:18890] internal/external iterator (Re: Re: Enumerable#zip)

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

> |内部イテレータと呼べるかどうかは、何を「イテレータ」と見るかによ
> |るんじゃないでしょうか?

GoF 本のあの文脈における「イテレータ」というのはは外部イテレータの場合
は Iterator クラス(ないしそれ以下のクラス階層)、内部イテレータの場合は
ブロックやクロージャを受け取るメソッドを指しているように思えます。

いずれにしても、制御を抽象化するコードを書く部分をイテレータと呼んでい
るのでしょう。

> うーん、呼び出し側から考えるとfor文のような高度な抽象化があ
> れば内部イテレータと呼べると考えていたのですが、考えてみれば
> それってマクロで外部イテレータを隠蔽しても実現できるわけで、
> イテレータが繰り返し対象のクラスと分離しているかどうかで内部
> 外部を区別するという分類はどうでしょう。

そういう実装寄りの定義は表現したいことをうまく表してないんじゃないか、
と思うんです。処理系の実装法について述べたいんなら別ですけど。

> この場合、Rubyのイテレータは分離していないので内部イテレータ、
> C++のは別のクラスになるので外部イテレータ、Pythonのgenerator
> やC#のイテレータは内部イテレータのふりをした外部イテレータと
> いうことになるというのはどうでしょう？

generator.rb は外部イテレータのふりをした内部イテレータを実現する?

なんというか、外部と内部という名前がなんの意味もない気がするんですけど。
foo と bar に置き換えてもいいというか、どこがどう内部なんですかと尋ね
たくなるというか。

そもそも、呼び出し元と呼び出し先の書き方の組み合わせにより、Python(や
将来の C#) だと 4種類のスタイルがあるのに、内部・外部という 2種類にあ
てはめるのは無理があると思います。「x のふりをした y」という表現によっ
て 4種類に拡張するというのはひとつの方法ですが、やっぱり分類したいのは
プログラムのスタイルだと思うので、スタイルを表現した名前で呼ぶほうがい
いんではないかというわけです。まぁ、どう名付けたらいいかは問題ですが...
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)