一个Erlang风格的纯Scheme Web服务器以及进一步

04 · 具有延续性的 Web 编程 对话是进程 多请求对话（向导、预订、转接）作为一个绿色进程运行。它的本地绑定是会话状态，包括会话存储永远无法保存的东西：跨轮的开放数据库事务。控制流是程序文本“用户处于确认步骤”意味着进程停在该行。代码无法表达的步骤顺序不会发生——没有状态机可以出错，没有重放可以防御。消失的保证：由于任何原因死亡——崩溃、TTL、完成——注销进程，并且稍后的恢复答案消失。死进程 = 删除连接 = 数据库本身回滚：消失证明没有提交任何内容。结合上面的故障代码，客户端始终知道确定的服务器状态——一个完整的远程事务环。 (对话开始! ( lambda (req suspend!) ( let ((tx (begin-tx!))) ; 实时，跨请求 (guard (e (#t (rollback! tx) ( raise e))) ( let ((req2 (suspend!confirm-page))) (commit! tx) done)))) req) (对话恢复！ id req) ; =>回复| '走了;; '消失的意思是：回滚。保证。