July 9th Thursday (七月　九日　木曜日)

最新推荐文章于 2022-02-25 19:38:17 发布

Lu_ming

最新推荐文章于 2022-02-25 19:38:17 发布

阅读量684

点赞数

文章标签： each c

本文链接：https://blog.csdn.net/Lu_ming/article/details/4354043

版权

Continuation Frames and Marks

Every continuation C can be partitioned into continuation frames C1, C2, ..., Cn such that C = C1[C2[...[Cn]]], and no frame Ci can be itself partitioned into smaller continuations. Evaluation steps add and remove frames to the current continuation, typically one at a time.

Each frame is conceptually annotated with a set of continuation marks. A mark consists of a key and its value; the key is an arbitrary value, and each frame includes at most one mark for any key. Various operations set and extract marks from continuations, so that marks can be used to attach information to a dynamic extent. For example, marks can be used to record information for a “stack trace” to be used when an exception
is raised, or to implement dynamic scope.