主要观点：

• 延续表示计算在评估期间某一特定点的控制状态，带界限的延续是可用于实现各种控制流结构的编程机制，温度计延续利用异常和状态实现带界限延续。
• 2018 年的论文展示了在支持异常和状态的语言中可使用温度计延续，Koppel 提供了 Java、OCaml 和 SML 参考实现，Python 实现可克服 Python 生成器的某些限制。
• Scala 早期版本有带界限延续插件但在 Scala 3 中暂停，计划将延续作为新语言特性添加，在 Scala 标准库中实现带界限延续是可行的选择。
• 文中演示了在 Scala 中实现温度计延续，包括其概念、数据结构、函数实现及测试场景等，还提到了局限性。

关键信息：

• 带界限延续可分解复杂控制流，Scala 早期插件用 reset/shift 操作符结合 CPS 策略实现。
• 温度计延续通过保存和恢复状态来实现，在不同情况下 shift 有不同行为。
• Scala 3 中实现温度计延续的代码细节，如数据结构定义、函数功能等。
• 测试涵盖多种场景，包括基本 reset/shift、并行和嵌套等情况。
• Scala 静态类型导致无法实现多态类型的 reset 和 shift，此限制适用于所有静态类型语言。

重要细节：

• 在 Scala 中，reset 定义延续边界，shift 捕获并传递当前延续，通过函数调用和异常处理实现控制流操作。
• 数据结构如 future、past、curExpr 用于捕获执行状态，recording 用于记录延续。
• 测试场景中通过各种组合和嵌套的 reset/shift 操作验证实现的正确性。
• 参考实现可在[https://github.com/michaelw12...]找到。