>>876
純粋に数学的な関数を実現しようとすると参照透過性って必要にならない？
で、参照透過性って、プログラミング言語ではcall by nameがそうな
んじゃないの？だから実装の問題だけとも言えないような…