柯里化与惰性求值

柯里化是函数式编程里的概念。理论上说，柯里化是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。
例如有函数：
sub f1 {
my ($a, $b) = @_;
$a + $b;
}
这里f1接受2个参数。

所以如果我们固定$b=1，就得到sub f1(1)，这是一个接受1个参数的新函数，这个过程便叫做柯里化。
实际上，sub f1(1)可以理解为：
sub f2 {
&f1(@_, 1);
}
因为柯里化函数在调用端可以避免很多不必要的括号，而且，柯里化函数允许通过省略后面的参数方便的部分应用。所以当我们想调用f1 1 2时，通过柯里化，我们可以这样调用：f2 2

 

惰性求值:需要时再调用