奇妙的映射及其发现之处：递归方案指南
摘要：结构化递归方案在构建、优化和推理包括归纳和共归纳数据类型的程序中得到广泛应用。它们的常规形式，即折叠和展开，受到了限制。因此，提出了许多泛化方法，进一步导致了几个统一的结构化递归方案框架。然而，现有的统一框架研究通常侧重于范畴论基础，因此对于愿意将递归方案应用于实践但对范畴论不熟悉的从业者来说可能不容易理解。为了填补这个空白，这篇说明性论文从实践的角度介绍了结构化递归方案：在具体的编程示例的背景下，阐述了多种递归方案的动机和解释。同时也解释了这些递归方案的范畴论对偶形式。
作者：Zhixuan Yang, Nicolas Wu
论文ID：2202.13633
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-06-28