节是柯里化的结果吗？

Question

Hutton 的 Haskell 编程

一般来说，if 是一个运算符，则参数 和 的 #形式的表达式 称为节，其作为函数的含义可以使用 lambda 表达式形式化，如下所示：(#)(x #)(# y)xy

(#)   =   \x  ->  (\y ->  x   #   y)
(x    #)  =   \y  ->  x   #   y
(#    y)  =   \x  ->  x   #   y

“部分”和“柯里化”有什么区别和关系？

一个部分是将柯里化操作应用于多参数函数的结果吗？

谢谢。

Answer 1

节只是将中缀运算符应用于单个参数的特殊语法。(# y)是两者中更有用的一个，因为(x #)相当于(#) x（它只是以通常的方式将中缀运算符作为函数应用于单个参数）。