[racket] Engineering Tradeoffs of ANF transforms and the Stateless Server

Jay,

Thanks very much for the answer.

My current thinking is that the dynamic-wind described on page 17 of Friedman's
Constraining Control may provide enough of dynamic-wind's functionality for my
needs.

It doesn't appear to have any of the forbidden constructs* of the web-server
language. 

and it has a local redefinition of call/cc.

Subject to experiment, I think #lang web-server could capture continuations
safely within it.

I'll try to make progress over the weekend and let you know results.


*for example set! nested inside a letrec nested inside a define