>>640
それと引き換えにスマポを一時オブジェクトにすることで可能な最適化が出来なくなってる

あと評価順の固定とまでは言ってない、並列関係を越えないことの保証と言ってる
f(a(), b(d()), c())がb,c,aという順でもいいけど、
dとbの間にa,cが入らないのを保証して欲しいということ
その制限でも出来なくなる最適化はあるだろうけどさ、トレードオフに見合うかは疑問