fun curry f x y = f (x, y);
fun uncurry f (x, y) = f x y;
fun compose (f, g) x = f (g x);
我了解 compose 函数，但不太了解 ML 中的 curry 和 uncurry 。谁能解释一下这些吗？
另外，下面两行是什么意思？
(1) compose (compose, uncurry compose)
(2) compose (uncurry compose, compose)
如果你看一下类型，你就会清楚地看到什么curry and uncurry does.
请记住，可以定义将其参数作为一个大元组或多个参数的函数（实际上，它变成了一个函数“链”，每个函数接受 1 个参数，请参阅此wiki http://en.wikipedia.org/wiki/Currying):
fun foo (a,x) = a*x+10
fun bar a x = a*x+20
它们的类型之间的差异显而易见：
val foo = fn : int * int -> int
val bar = fn : int -> int -> int
The curry函数将其参数作为元组的函数“转换”为每个函数接受 1 个参数的函数“链”。当我们想要编写一系列函数，其中一些函数部分应用了参数时，这特别方便。看看类型如何foo被改变：
- curry foo;
val it = fn : int -> int -> int
现在我们可以尝试组合这两个函数：
- (curry foo 5 o bar 1) 4;
val it = 130 : int
前 4 个应用于bar 1作为论点x，那么该计算的结果 (bar 1 4) 给出为x论证foo.
明显地uncurry用于逆过程：
- uncurry bar;
val it = fn : int * int -> int
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
