うむむ・・・

むかーしむかしのきおくでは、
Schemeのクロージャ適用時の引数評価順は「不定」unspecifiedだったような。R5RSではかわったのかな。
http://www.shiro.dreamhost.com/scheme/wiliki/wiliki.cgi?Scheme%3a%e4%bd%bf%e3%81%84%e3%81%9f%e3%81%84%e4%ba%ba%e3%81%ae%e3%81%9f%e3%82%81%e3%81%ae%e7%b6%99%e7%b6%9a%e5%85%a5%e9%96%80
shiroさんの部分継続のところを読み進んでいったとき、たとえば、

(+ x y z)

で、これからyを評価しようとするときの継続は

(lambda (v) (+ 3 v z))

であるみたいな表記があるけど、

(+ x y z)

のx y zの評価順は少なくともR4RSでは決まっていなかったような・・・
gaucheの継続は多分そうだったけど、処理系依存だよなぁきっと。
とある有名処理系はz y xって評価していた記憶があるなぁ。
・・・
shiroさんはわかりやすく解説していると言うことでしょう。
うんうん。