作者: 機械伯爵
日時: 2008/4/11(11:55)
　機械す。

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

　ふむ、やっぱ「同じオブジェクトを指し続けている」ことは、
参照透過性にはなんないわけですね。

※状態＝値と見るのか、ふむ……
 
> ってか、まずその定義を理解してから参照透過性って言葉を使いま
> しょうや。定義がわかってりゃ、そんなこと効かなくてもすむでしょ
> うから。

　すみません、どーも、こうやって恥をさらさないと、理解してるつもりが、
ヘンな理解（誤解）になるもんで……

　というか、こういうこと聞かないと、誤解のまんまで過ごしてたと思います。

　もちろん、参照透過性に関するモノは読んでるわけなんですが、その定義を
理解してるかしてないかは、やっぱ、言葉として使ってみないとわかんない
わけで……
 
> # けっして再代入がないことではないですよ。

　↑と、誤解してたわけですね、はい。

　まぁ、「何のために」を考えれば、確かに意味無いわけですが。

※でも、そーなると再起を使った時に、単純ジャンプとして解釈するSchemeなんか
　の仕様だとどーなるんだろうか……

　／機械伯爵／