>>891
だれも実装の話なんかしてないが。
> Scheme環境で副作用がどうしても必要になるのはトップレベルの話でしょ。
なにいってんの？

> 環境で副作用という話は、Scheme実装の歴史とか互換性とかそういう話であって、
λ計算の意味論はそういうものですが。実装の歴史も互換性も無関係。

> r5rsが絶対的に正しいって事ではない。
表示的意味論で環境によって副作用を表現している具体例なんだが。
r5rsには欠陥があるっていう大胆な主張か？