php – 为什么我的函数组合由reduce实现了一个闭包？

我想从reduce / fold导出n函数的合成函数,但它不能按预期工作：

$id = function ($x) {
  return $x;
};

$comp = function ($f) {
  return function ($g) use ($f) {
    return function ($x) use ($f,$g) {
      return $f($g($x));
    };
  };
};

$fold = function ($f,$acc) {
  return function ($xs) use ($f,&$acc) {
    return array_reduce($xs,$f,$acc);
  };
};

$compn = function($fs) {/* apply $fold here */};

$inc = function ($n) {
  return $n + 1;
};

$fold($comp,$id) ([$inc,$inc,$inc]) (0); // yields a closure instead of 3

我有相同的功能在Javascript中实现,它的工作原理.我使用PHP 7.0.8 cli.我对PHP知之甚少,所以我可能会忽略一些东西.

你的$comp是 curried,当然你发现PHP的原生array_reduce期望该函数接受多个参数 – 快速应用uncurry会带走你的一些痛苦,但如果你想看看它是如何做的,你需要继续阅读整体改善……

在PHP的拙见…

使用uncurry可以解决这个问题,但是如果所有函数都定义为$-named变量,你可能最终会不喜欢你的程序 – 我预见到使用这种风格会有很多小问题.

PHP有一个callable“类型”,它使PHP-ish更多 – 用户定义的函数(包括高阶函数)应该使用call_user_func和call_user_func_array调用

namespace my\module;

function identity ($x) {
  return $x;
}

function comp ($f) {
  return function ($g) use ($f) {
    return function ($x) use ($f,$g) {
      return call_user_func ($f,call_user_func ($g,$x));
    };
  };
}

function uncurry ($f) {
  return function ($x,$y) use ($f) {
    return call_user_func (call_user_func ($f,$x),$y);
  };
}

function fold ($f,$acc) {
    return array_reduce ($xs,uncurry ($f),$acc);
  };
}

现在你的可变参数接口按预期工作

function compn (...$fs) {
  return fold ('comp','identity') ($fs);
}

function inc ($x) {
  return $x + 1;
}

echo compn ('inc','inc','inc') (0); // 3

但它也适用于匿名函数

$double = function ($x) { return $x + $x; };

echo compn ($double,$double,'inc') (2); // 12

功能代码,模块化程序

使用函数语法声明函数后,可以将它们import放入程序的其他区域

// single import
use function my\module\fold;

// aliased import
use function my\module\fold as myfold;

// multiple imports
use function my\module\{identity,comp,compn,fold};

现在,每次要使用其中一个函数时,都不必使用use-blocks来编写代码

// before
$compn = function (...$fs) use ($fold,$comp,$id) {
  return $fold($comp,$id) ($fs);
};

// after
function compn (...$fs) {
  return fold ('comp','id') ($fs);
}

在调试方面,毫无疑问,命名函数也会提供更有用的堆栈跟踪消息

php – 为什么我的函数组合由reduce实现了一个闭包？

猜你在找的PHP相关文章