论文部分内容阅读
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题，利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphismsphylo射和ahylo射，证明了它们在固定参数和累积参数下都是唯一的，从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中，使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果；从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归