Abstracting Effects with Continuations2 months agohttps://crowdhailer.me/2026-07-15/abstracting-effects-with-continuations/续体将异步或错误处理等计算细节进行抽象。它们能够跨效应类型通用地表示“前后”关系。Filinski（1994）证明续体可以表达任何单子，例如Result或Promise。使用续体的泛型任务将业务逻辑与带效应的数据获取相分离。运行器（解释器）实现了特定的效应，如可失败的或异步的计算。这种方法避免了为不同效应组合重复编写逻辑。