On 9/14/06, Jose <jmalv04@gmail.com> wrote:
On 9/14/06, Giovanni Piero Deretta <gpderetta@gmail.com> wrote:
Interaction-Safe State for the Web
http://www.cs.brown.edu/~sk/Publications/Papers/Published/mk-int-safe-state-...
just a quote from section 8.2 ========= Another solution to this problem [22 - back button] relies on one-shot continuations [3]. These continuations detect when they are invoked a second time and produce a
suitable error. .... However,this strategy cannot be used to implement the shopping cart example without severe transformation of the source program to propagate the called? binding to each code fragment that binds URLs. =========
Your association of this text with 'back button' is wrong. The text actually refers to non-idempotent URL handling (while the bibliography reference is a generic web continuation paper):
From the beginning of section 8.3 (not 8.2):
[...] A sub-problem of [disabling old urls] has been ad- dressed by work targeted at preventing the duplication of non- idempotent requests. The Post-Redirect-Get pattern [10] is one strategy [...] Another solution [22] to this problem relies on one-shot con- tinuations [3]. These continuations detect when they are invoked a second time and produce a suitable error. [...] _________________________ -- Giovanni P. Deretta -- Giovanni P. Deretta