一般に「表示的意味論には環境というものがあって普通に副作用を扱える」というのも、
なかなかの珍説だと思うけど、どうでしょ？
あんたの話はラムダ計算限定でしょーが。
Schemeの実装の制約だ、なんて逝ってるヤシも、変。