WOLFRAM

Wolfram 语言与系统参考资料中心

Curry[f,n]

表示有 n 个参数的函数 f 的运算符形式，Curry[f,n][x1]…[xn] 等价于 f[x1,…,xn].

Curry[f]

表示两个参数的函数 f 的运算符形式，Curry[f][y][x] 等价于 f[x,y].

Curry[f,{i1,…,in}]

表示有 n 个参数的函数 f 的运算符形式，Curry[f,{i1,…,in}][x1]…[xn] 等价于 f[xi1,…,xin].

Curry[f,k{i1,…,in}]

表示有 n 个参数的函数 f 的 k-参数运算符形式 Curry[f,k{i1,…,in}][x1]…[xk] 等价于 f[xi1,…,xin], 其中 k≥Max[{i1,…,in}].

更多信息
Details and Options Details and Options
范例  
基本范例  
范围  
应用  
属性和关系  
参见
历史
按以下格式引用：

Curry

Curry 正在被逐步淘汰，将被在版本 12.1 中实验性引入的 CurryApplied 和 OperatorApplied 所取代.

Curry[f,n]

表示有 n 个参数的函数 f 的运算符形式，Curry[f,n][x1]…[xn] 等价于 f[x1,…,xn].

Curry[f]

表示两个参数的函数 f 的运算符形式，Curry[f][y][x] 等价于 f[x,y].

Curry[f,{i1,…,in}]

表示有 n 个参数的函数 f 的运算符形式，Curry[f,{i1,…,in}][x1]…[xn] 等价于 f[xi1,…,xin].

Curry[f,k{i1,…,in}]

表示有 n 个参数的函数 f 的 k-参数运算符形式 Curry[f,k{i1,…,in}][x1]…[xk] 等价于 f[xi1,…,xin], 其中 k≥Max[{i1,…,in}].

更多信息

  • Curry[f] 等价于 Curry[f,{2,1}].
  • Curry[f,n] 等价于 Curry[f,{1,2,…,n}].
  • Curry[f,{i1,…,in}] 等价于 Curry[f,Max[{i1,…,in}]->{i1,…,in}].
  • 对于选项序列 opts，Curry[f,{i1,…,in,opts}][x1]…[xk] 等价于 f[xi1,…,xin,opts].
  • Curry[f,{i1,…,in}] 的第 ip 个鞣制参数为 f 的第 p 个参数.
  • Curry[f,arity][x1,…][y1,…]…[z1,…] 等价于 Curry[f,arity][x1,…,y1,…,z1,…], 所以与方括号的结构无关，只与参数的个数有关.

范例

打开所有单元 关闭所有单元

基本范例  (3)

鞣制两个参数的函数的第二个参数：

Wolfram Language code: Curry[f][x][y]

鞣制三个参数的函数，保留它们的顺序：

Wolfram Language code: Curry[f, 3][x][y][z]

下面是鞣制形式的 Integrate，鞣制两个积分变量：

Wolfram Language code: Curry[Integrate, {3, 1, 2}][x][y]

应用于变量为 和 的函数：

Wolfram Language code: %[x Sin[y]]

这等价于：

Wolfram Language code: Integrate[x Sin[y], x, y]

范围  (6)

鞣制函数的第二个参数：

Wolfram Language code: Dx = Curry[D][x]

应用运算符：

Wolfram Language code: Dx[f[x]]

鞣制三个参数的函数，保留它们的顺序：

Wolfram Language code: Curry[Nest, 3][f][x][4]

鞣制 3 个参数的函数，在传递给函数前先进行排列组合：

Wolfram Language code: Curry[Nest, {3, 1, 2}][x][4][f]

下面是接受 4 个参数的鞣制运算符，只有 2 个被传递给函数 f：

Wolfram Language code: Curry[f, {2, 4}][a][b][c][d]
Wolfram Language code: Curry[f, 4 -> {2, 3}][a][b][c][d]

将任意方括号结构用于鞣制运算符的参数：

Wolfram Language code: op = Curry[f, 3]
Wolfram Language code: op[a][b][c]
Wolfram Language code: op[a, b, c]
Wolfram Language code: op[a, b][c]
Wolfram Language code: op[][a][][][b, c]

鞣制带有缺省选项值的 Level：

Wolfram Language code: Sin[x[0] + 3]//Curry[Level][2]

把选项传递给 Level：

Wolfram Language code: Sin[x[0] + 3]//Curry[Level, {2, 1, Heads -> True}][2]
Wolfram Language code: Sin[x[0] + 3]//Curry[Level[##, Heads -> True]&][2]

应用  (5)

鞣制三个函数的 Composition：

Wolfram Language code: Curry[Composition, 3]

依次传递三个函数：

Wolfram Language code: %[f]
Wolfram Language code: %[g]
Wolfram Language code: %[h]

对表达式应用该 composition：

Wolfram Language code: Construct[%, x]

指定多少个参数是要被复合的函数：

Wolfram Language code: Curry[Composition, 3][f, g, h, x, y]

用 Curry 构建给定排序的函数的逆序：

Wolfram Language code: oppositeAlphabeticOrder = Curry[AlphabeticOrder];
Wolfram Language code: {Order["a", "b"], oppositeAlphabeticOrder["a", "b"]}
Wolfram Language code: {Order["a", "a"], oppositeAlphabeticOrder["a", "a"]}

构建由带有下标的变量组成的数组：

Wolfram Language code: Array[Curry[Subscript, 4][x], {2, 3, 2}]

用 Curry 构建 K 和 S combinator：

Wolfram Language code: k = Curry[Identity, 2 -> {1}]; s = Curry[Function[#1[#3][#2[#3]]], 3];

SKK 和 SKS 组合等价于以下恒等式：

Wolfram Language code: s[k][k][x]
Wolfram Language code: s[k][s][x]

用 S 和 K 构建 B 和 C combinator：

Wolfram Language code: b = s[k[s]][k]; c = s[s[k[s[k[s][k]]][s]][k[k]]];
Wolfram Language code: b[f][g][x]
Wolfram Language code: c[f][x][y]

属性和关系  (6)

Curry[f] 等价于 Curry[f,{2,1}]：

Wolfram Language code: Curry[f][a][b]
Wolfram Language code: Curry[f, {2, 1}][a][b]

对于没有参数的函数，Curry[f,0] 返回 f[]：

Wolfram Language code: Curry[f, 0]

即便提供了额外参数，依然会插入空的方括号：

Wolfram Language code: Curry[f, 0][a, b]

鞣制 Curry 自身：

Wolfram Language code: Curry[Curry][3][f][a][b][c]

与 Construct 相比：

Wolfram Language code: Construct[f, a, b, c]

对于正的 n，Curry[Construct,n][f] 等价于 Curry[f,n-1]：

Wolfram Language code: Curry[Construct, 3][f][a][b][c]
Wolfram Language code: Curry[f, 2][a][b][c]

对于 n=1 也一样成立：

Wolfram Language code: Curry[Construct, 1][f]
Wolfram Language code: Curry[f, 0]

组合两个 Curry 运算符，置换与逆置换：

Wolfram Language code: perm = {2, 4, 1, 3} invperm = InversePermutation[perm]

结果与不对参数重新排序时使用 Curry 等价：

Wolfram Language code: Curry[Curry[f, perm], invperm][a][b][c][d]
Wolfram Language code: Curry[f, 4][a][b][c][d]

接受两个同样长度的置换列表：

Wolfram Language code: perm1 = {2, 4, 1, 3}; perm2 = {3, 2, 4, 1};

组合相应的 Curry 运算符：

Wolfram Language code: Curry[Curry[f, perm1], perm2][a][b][c][d]

或者将 Curry 用于置换后的结果，使用同样的顺序：

Wolfram Language code: Curry[f, PermutationProduct[perm1, perm2]][a, b, c, d]
Wolfram Research (2018)，Curry，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Curry.html.

文本

Wolfram Research (2018)，Curry，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Curry.html.

CMS

Wolfram 语言. 2018. "Curry." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Curry.html.

APA

Wolfram 语言. (2018). Curry. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Curry.html 年

BibTeX

@misc{reference.wolfram_2026_curry, author="Wolfram Research", title="{Curry}", year="2018", howpublished="\url{https://reference.wolfram.com/language/ref/Curry.html}", note=[Accessed: 16-October-2026]}

BibLaTeX

@online{reference.wolfram_2026_curry, organization={Wolfram Research}, title={Curry}, year={2018}, url={https://reference.wolfram.com/language/ref/Curry.html}, note=[Accessed: 16-October-2026]}