CurryApplied
CurryApplied[f,n]
表示有 n 个参数的函数 f 的运算符形式,因此 CurryApplied[f,n][x1]…[xn] 等价于 f[x1,…,xn].
CurryApplied[n]
表示 CurryApplied 的运算符形式,可以将其应用于函数,以表示具有 n 个参数的运算符形式.
CurryApplied[f,{i1,…,in}]
表示有 n 个参数的函数 f 的运算符形式,因此 CurryApplied[f,{i1,…,in}][x1]…[xn] 等价于 f[xi1,…,xin].
CurryApplied[f,k{i1,…,in}]
表示接受 k 个参数的运算符形式.
更多信息
- CurryApplied[f,arity][x1,…][y1,…]…[z1,…] 等价于 CurryApplied[f,arity][x1,…,y1,…,z1,…],因此方括号的结构无关,只有参数的个数有意义.
- CurryApplied[f,n] 等价于 CurryApplied[f,{1,2,…,n}].
- CurryApplied[f,{i1,…,in}] 等价于 CurryApplied[f,Max[{i1,…,in}]{i1,…,in}].
- 对于一系列选项 opts,CurryApplied[f,{i1,…,in,opts}][x1]…[xk] 等价于 f[xi1,…,xin,opts].
- CurryApplied[f,{i1,…,in}] 的第 ip 个柯里化参数将是 f 的第 p 个参数.
- CurryApplied[arity][f] 等价于 CurryApplied[f,arity].
范例
打开所有单元关闭所有单元基本范例 (3)
用 CurryApplied 的运算符形式完成同一操作:
以下是 Integrate 的柯里化形式,将两个积分变量柯里化:
范围 (7)
应用 (4)
柯里化 3 个函数的 Composition:
用 CurryApplied 构建 K 和 S 组合器:
属性和关系 (7)
CurryApplied[f,arity] 与 OperatorApplied[f,arity] 表示的运算符相同:
CurryApplied[n][f] 等价于 CurryApplied[f,n]:
OperatorApplied[f] 等价于 OperatorApplied[f,{2,1}]:
对于有零个参数的函数,CurryApplied[f,0] 返回 f[]:
柯里化 CurryApplied 自身:
与 Construct 相比较:
对于正的 n,CurryApplied[Construct,n][f] 等价于 CurryApplied[f,n-1]:
用一个排列及其倒数组合两个 CurryApplied 运算符:
结果相当于使用 CurryApplied,但不对参数进行重排:
组合相应的 CurryApplied 运算符:
或者,以相同的顺序将排列乘积与 CurryApplied 一起使用:
文本
Wolfram Research (2020),CurryApplied,Wolfram 语言函数,https://reference.wolfram.com/language/ref/CurryApplied.html.
CMS
Wolfram 语言. 2020. "CurryApplied." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/CurryApplied.html.
APA
Wolfram 语言. (2020). CurryApplied. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/CurryApplied.html 年