<?hh
$z = 11;
$foo = $x ==> $y ==> $x * $z + $y;
$bar = $foo(5);
var_dump($bar(4)); // outputs 59

从概念上讲,$foo就像一个具有2个输入x和y的函数.调用$foo就像是设置x = 5的部分函数评估. $bar调用然后用y = 4计算函数.所以你最终得到x * z y = 5 * 11 4 = 59.

换句话说,$foo是一个lambda,它评估另一个lambda.所以$bar成为一个评估为数字的lambda.

$z = 11

$foo = $x ==> $y ==> $x * $z + $y;
// foo = f(x,y,z) = x * z + y

$bar = $foo(5);                 // $bar is Now $y ==> 5 * $z + $y
// bar = f(y,z) = 5 * z + y

$result = $bar(4);              // this gives you 5 * $z + 4 = 59
// result = f(z) = 5 * z + 4

VAR_dump(result);               // outputs 59