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