作者: 機械伯爵
日時: 2008/4/9(20:50)
　機械す。

> 勘違いでしょう。collection.popのような副作用のある操作に依存
> している時点で参照透過性は維持されてません。

　でしょうね、popは完全に私の適当なネタだもの。
　オリジナルは確か、教科書通りに引数の値をマイナス１して
再帰してたと思いました。

　ところでついでですが、イテレータをnextで呼び出しても、
やっぱり参照透過性は保たれないのでしょうか？

　／機械伯爵／