能否使用Julia的协程(coroutines)实现effect handlers？

你对Julia协程的能力判断基本准确，原生Julia协程确实不支持直接实现完整的effect handlers，具体可以拆解为几个层面的原因：

• 完整effect handlers的核心依赖是语言支持一级可重入续程：也就是可以把当前执行点之后的所有计算逻辑捕获成一个可自由传递、可多次调用的值，在handler处理完对应效果之后，根据需求选择是否恢复、恢复几次、传入什么参数恢复。
• Julia的协程（Task）是基于栈切换实现的，仅提供基础的yieldto/resume语义，只能在协程的直接调用父子关系之间切换上下文，既无法把续程作为一等值自由传递，也不支持同一个执行上下文多次恢复，和Scheme中call/cc提供的全功能续程能力差距很大，无法支撑标准effect handlers的实现。
• 当然如果你只需要非常基础的效果拦截能力：比如仅需要单次恢复、不需要续程跨作用域传递、不需要多shot（同一个续程调用多次）的特性，也可以用协程配合自定义调度逻辑实现简化版本，但这种实现的限制非常多，无法覆盖effect handlers的绝大多数高级用法（比如非确定性计算、回溯等）。
• 目前Julia生态中成熟的effect handlers实现都采用CPS变换的路线，本质是通过语法转换把隐式的续程显式转化为可传递的函数对象，绕过语言底层没有一级续程的限制，这也是所有不支持原生call/cc的语言实现effect handlers的通用方案。

内容的提问来源于stack exchange，提问作者Marko Grdinić