Unifying structured recursion schemes

doi:10.1017/s0956796815000258

Unifying structured recursion schemes

2016-02-03

0

OA

AI

DOI：10.1017/s0956796815000258

原文链接

查看原文

摘要

En 中文

摘要折叠（folds）和展开（unfolds）已被视为完全编程（total programming）的基本构建模块，并已扩展形成一系列专门的、结构化的递归模式。大量此类模式通过引入伴随折叠（adjoint folds）得到了统一，但诸如来自余单子（comonads）的递归模式等更奇特的模式却难以处理。本文展示了如何从（余）单子（(co)monads）的两个典型伴随推导中获得具有重要计算意义的递归模式：单子折叠（monadic catamorphisms）来自Kleisli构造，而更令人惊讶的是，难以捉摸的来自余单子的递归模式来自Eilenberg–Moore构造。因此，我们证明了伴随折叠比先前认为的更具统一性。

Unifying structured recursion schemes

摘要

AI总结

期刊

机构

引用论文