Curry 化

Curry 化是一种定义多参数映射的手段, 将之转化为一连串单参数的映射.

例如, 映射$$f:X\times Y\to Z$$在经过 Curry 化后, 它变成$$f:X\to (Y\to Z)$$这样就绕开了 $\times$ 符号的使用. 这可以推广到多参数的情形, 例如映射$$f:X_1\times X_2\times \cdots \times X_n\to Z$$经过 Curry 化后, 变成$$f:X_1\to (X_2\to \cdots \to (X_n\to Z))$$

将后者转化为前者的思想叫做去 Curry 化.

1相关概念

•	在积闭范畴和闭幺半范畴中, Curry 化对应张量–同态伴随.

•	Curry 化这一名词致敬了 Haskell Curry, 但 Moses Schönfinkel 更早提出这一想法.

•	Curry 化常见于类型论中对积类型和函数类型的讨论, 参见简单类型 $\lambda$ 演算.

术语翻译

Curry 化 • 英文 currying

去 Curry 化 • 英文 uncurrying