我正在寻找一些非常简单,易于理解的recursionscheme和核心引力scheme(变形,变形,变形等)的解释,它们不需要大量的链接,也不需要打开类别理论教科书。 我确信我已经在无意识中重塑了许多这些scheme,并在编码过程中将它们“应用”在我的头脑中(我相信我们中的许多人都有),但是我不知道(共)recursionschemeI使用被称为。 (好的,我撒谎了,刚才我刚刚读到了其中的几个,这引发了这个问题,但在今天之前,我没有任何线索。 我认为这些概念在编程社区中的传播受到了可怕的解释和例子的阻碍,例如维基百科,还有其他地方。 也可能被他们的名字阻碍了。 我认为还有一些其他的math名称(有关香蕉和铁丝网的东西?),但我不知道我使用的recursionscheme的名字是什么。 我认为这将有助于使用代表简单现实世界问题的数据types的示例,而不是像二叉树这样的抽象数据types。