July 9th Thursday (七月 九日 木曜日)
2009-07-16 16:12
525 查看
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.
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.
相关文章推荐
- July 30th Thursday (七月 三十日 木曜日)
- 2008 July 9th Wednesday (七月 九日 水曜日)
- 2008 July 31th Thursday (七月 三十一日 木曜日)
- July 9th Monday (七月 九日 月曜日)
- July 19th Thursday (七月 十九日 木曜日)
- 2008 July 10th Thursday (七月 十日 木曜日)
- July 23th Thursday (七月 二十三日 木曜日)
- August 9th Thursday (八月 九日 木曜日)
- July 12th Thursday (七月 十二日 木曜日)
- 2008 July 3th Thursday (七月 三日 木曜日)
- 2008 July 24th Thursday (七月 二十四日 木曜日)
- July 26th Thursday (七月 二十六日 木曜日)
- July 2nd Thursday (七月 二日 木曜日)
- July 16th Thursday (七月 十六日 木曜日)
- 2008 July 17th Thursday (七月 十七日 木曜日)
- 2008 October 9th Thursday (十月 九日 木曜日)
- April 9th Thursday (四月 九日 木曜日)
- July 5th Thursday (七月 五日 木曜日)
- July 31th Tuesday (七月 三十一日 火曜日)
- October 11th Thursday (十月 十一日 木曜日)