Since first class functions (or closures, anonymous functions, lambda functions) are possibly *the* cornerstone of functional programming, there wasn't much to do in the pre-5.3 days. The closest you'd get to closures was create_function(), which is awkward at best and non-functional at worst.
So now we have closures, which has its quirks, but is mostly functional I guess.
By the way, in the above paragraph I talk about closures, anonymous functions and lambda functions as being equal. I know there are subtle differences, but I think in the context of PHP they are negligible. I will usually use the term 'closure' or 'anonymous function', but they both refer to the same concept.
Now, on to the meat of this post. Currying vs. Partial Application. Two terms most programmers that know about functional languages have most likely heard about, but a lot of people get them mixed up or use them interchangeably.
I will first explain and demonstrate currying in the context of PHP, since this is the most misunderstood and, in my opinion, most useless of the two.
Currying
What is currying? From Wikipedia:
Currying is the technique of transforming a function that takes multiple arguments in such a way that it can be called as a chain of functions each with a single argument.This is best explained using an example. Say we have a function that expects three arguments and returns the sum:
function sum3($x, $y, $z)
{
return $x + $y + $z;
}
Now we need to create a function that returns a chain of functions that only accept a single argument.
function curried_sum3($x)
{
return function ($y) use ($x) {
return function ($z) use ($x, $y) {
return sum3 ($x, $y, $z);
};
};
}
We would want to call it like this:
$result = curried_sum3(1)(2)(3);
Unfortunately, PHP won't let us. But if I'm not mistaken we get that functionality in PHP 5.4 as part of the (new Foo())->method() syntax. So we have to assign each step to a temporary variable.
$f1 = curried_sum3(1);
$f2 = $f1(2);
$result = $f2(3);
So this is currying. I honestly can't see a practical use for this in a language (and associated scope) like PHP. But I'd love to be proven wrong! If you can make an argument and use case where function currying wouldn't be as awkward as it seems, or even beneficial, please let me know in the comments.
Partial Application
Now comes the interesting bit: Partial Application. A technique that is oftentimes called currying, but it's actually a whole different animal. Per Wikipedia the definition of partial application is:
Partial application (or partial function application) refers to the process of fixing a number of arguments to a function, producing another function of smaller arity.Basically it is a technique to reduce the number of arguments to a function. If we build upon the sum3() function we have used earlier, we can fix the first argument to 1 and receive a new function that only requires two arguments:
function partial_sum3($x)
{
return function($y, $z) use($x) {
return sum3($x, $y, $z);
};
}
The resulting function requires only two arguments: $y and $z. $x will be fixed as the argument passed to partial_sum3().
//create the partial
$f1 = partial_sum3(1);
//execute the partial with the two remaining arguments
$result = $f1(2, 3);
The problem with this situation is that it's not dynamic. What we want is a partial function generator. A function that expects a function and n number of arguments. Fortunately, now we can create something like that fairly easy:
function partial($func, $arg1 /**, rest*/)
{
$args = func_get_args();
$func = array_shift($args);
return function() use($func, $args) {
$full_args = array_merge($args, func_get_args());
return call_user_func_array($func, $full_args);
};
}
With this function we can create any partial we want:
$f1 = partial('sum3', 1, 2);
$result = $f1(3);
We reduced the number of arguments to sum3() to only one.
A practical example of this could be to easily map an array of timestamps into nicely formatted date/time's:
//array of timestamps
$timestamps = array(1325376000, 1328054400, 1330560000);
//create the date formatter by fixing the format and effectively removing the first argument
$date_formatter = partial('date', 'Y-m-d H:i:s');
//map the timestamps to their nicely formatted counterparts
$datetimes = array_map($date_formatter, $timestamps);
var_dump($datetimes);
/**
Output:
array(3) {
[0]=>
string(19) "2012-01-01 01:00:00"
[1]=>
string(19) "2012-02-01 01:00:00"
[2]=>
string(19) "2012-03-01 01:00:00"
}
*/
I think this should pretty much cover the basics of currying and partial application and how it applies to PHP. I hope you enjoyed reading it as much as I enjoyed writing it.
Happy coding!
