curry是通用结构的分解器

Question

我正在为程序员阅读关于函数类型的分类理论。

他说：

注意，curry是函数对象的通用构造的分解器。如果用这种形式重写的话，这一点尤其明显： 分解器：((a，b)->c) -> (a -> (b -> c))分解器g= \a -> (\b ->g (a，b)) (提醒您:保理器从候选产品中生成保理功能。)

什么是“因子”和“通用结构”？

他想解释什么关于赛跑的事？

Answer 1

在前面几章(特别是关于乘积和辅助积的章节)中引入了通用结构和分解器的概念。

简而言之，通用结构比较了所有可能共享给定财产的候选人。在这里，候选对象是一个对象z，它具有从(z × a)到b的态射g。最好的候选对象是一个由(a=>b)表示的对象，该对象具有名为eval的态射。

通用的性质是，对于任何候选的z和g，都有一个独特的态射h，它分解了图片中给出的图表。分解器是获得特定类别中给定的h和g的方法。在Haskell中，g是函数((a, z)-> b)，h是函数(z -> (a -> b))。因此，到变量的重命名和乘积的对称性为止，分解器完全具有curry的签名。