4 “ coalgebra”在编程环境中是什么意思？ 我在函数式编程和PLT圈子中曾多次听到过“ coalgebras”一词，尤其是当讨论对象，共面体，透镜等时。对该术语进行谷歌搜索会给出一些页面，其中给出了这些结构的数学描述，这对我来说是非常难以理解的。谁能解释编程中上下文中的代数意味着什么，它们的意义是什么，以及它们与对象和子代之间的关系？ 339 scala haskell functional-programming category-theory recursion-schemes
3 假人的递归方案？ 我正在寻找一些非常简单，易于掌握的递归方案和核心递归方案（催化变形，变形，同形等）的解释，它们不需要遵循大量的链接或打开类别理论教科书。我敢肯定，我在不知不觉中重塑了许多这样的方案，并在编码过程中将它们“应用”到了我的脑海中（我相信我们中的许多人都有），但是我不知道我的（共）递归方案是什么。使用被称为。（好的，我撒谎了。我只是在阅读其中的一些内容，这引发了这个问题。但是在今天之前，我还没有头绪。） 我认为这些概念在编程社区中的传播受到了人们可能会遇到的令人难以理解的解释和示例的阻碍，例如，在Wikipedia上以及在其他地方。 他们的名字也可能阻碍了它。我认为还有一些其他的数学名称较少（关于香蕉和铁丝网的东西？），但我也不知道我使用的递归方案的更可爱的名称是什么。 我认为使用示例数据类型代表简单的实际问题，而不是抽象数据类型（例如二叉树）会有所帮助。 83 haskell recursion functional-programming recursion-schemes