Skip to content
Switch branches/tags
Go to file
Cannot retrieve contributors at this time
Functional programming treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data. It is declarative, which means expressions instead of statements.

λ Functional

Siler is bundled with the Siler\Functional namespace. It brings some function declarations that aids the work with another first-class and high-order PHP functions!


Returns a Closure that returns its given arguments.

use Siler\Functional as λ;

array_map\identity(), [1, 2, 3]);
// [1, 2, 3]

{% hint style="info" %} Doesn't seem useful at first, but working with the functional paradigm, you'll find the reason shortly. {% endhint %}


Almost like identity(), but it always returns the given value.

use Siler\Functional as λ;

array_map\always('foo'), range(1, 3));
// [foo, foo, foo]

if_else(callable $cond) -> $then -> $else

A functional if/then/else.

use Siler\Functional as λ;

$pred = λ\if_else\equal('foo'))(λ\always('is foo'))(λ\always('isnt foo'));

echo $pred('foo'); // is foo
echo $pred('bar'); // isnt foo

partial(callable $callable, ...$partial)

Partial application refers to the process of fixing a number of arguments to a function, producing another function of smaller arity. Given a function{\displaystyle f\colon (X\times Y\times Z)\to N}, we might fix (or 'bind') the first argument, producing a function of type {\displaystyle {\text{partial}}(f)\colon (Y\times Z)\to N}.

Nothing like a good example:

use Siler\Functional as λ;

$add = function ($a, $b) {
    return $a + $b;

$add2 = λ\partial($add, 2);

echo $add2(3); // 5

Works with any callable:

use Siler\Functional as λ;

$explodeCommas = λ\partial('explode', ',');

 * Array
 * (
 *  [0] => foo
 *  [1] => bar
 *  [2] => baz
 * )

match(array $matches)

A pattern-match attempt. Truthy Closure evaluations on the left calls and short-circuits evaluations on the right.

use Siler\Functional as λ;

$nameOf = λ\matching([
    [λ\equal(1), λ\always('one')],
    [λ\equal(2), λ\always('two')],
    [λ\equal(3), λ\always('three')],

echo $nameOf(1); // one
echo $nameOf(2); // two
echo $nameOf(3); // three

{% hint style="info" %} There are a lot more of them. A good place it check it out are the tests. {% endhint %}