Effectful Recursion Schemes

本文探讨了在函数式编程中如何将递归模式与效果系统结合，通过代数数据类型和范畴论概念实现可组合的递归算法，同时处理副作用。