effekt-lang

《Effekt》编程语言博客文章演示了如何利用效应和处理器实现递归方案（特别是 catamorphisms），以此取代传统的基于函子的方法，从而避免了对无限递归类型的依赖。