C++中的定点组合器

这是转换成 boost::bind 注意,y-combinator及其在主函数中的应用站点。我希望这有帮助。

#include <boost/function.hpp>
#include <boost/bind.hpp>
#include <iostream>

// Y-combinator compatible factorial
int fact(boost::function<int(int)> f,int v)
{
  if(v == 0)
    return 1;
  else
    return v * f(v -1);
}

// Y-combinator for the int type
boost::function<int(int)>
    y(boost::function<int(boost::function<int(int)>,int)> f)
{
  return boost::bind(f,boost::bind(&y,f),_1);
}


int main(int argc,char** argv)
{
  boost::function<int(int)> factorial = y(fact);
  std::cout << factorial(5) << std::endl;
  return 0;
}

#include <functional>
#include <iostream>

template <typename Lamba, typename Type>
auto y (std::function<Type(Lamba, Type)> f) -> std::function<Type(Type)>
{
    return std::bind(f, std::bind(&y<Lamba, Type>, f), std::placeholders::_1);
}

int main(int argc,char** argv)
{
    std::cout << y < std::function<int(int)>, int> ([](std::function<int(int)> f, int x) {
        return x == 0 ? 1 : x * f(x - 1);
    }) (5) << std::endl;
    return 0;
}

你能解释一下这一切是如何运作的吗?

fix2是一个y组合器(具体来说,它是两个参数的函数的组合器;第一个参数是函数(为了递归的目的),第二个参数是“合适的”函数参数)。它创建递归函数。

BLL::RET(…)似乎创建了某种形式的函数对象,其主体是

if(second arg == 0)
{
    return 1;
}
else
{
    return second arg * first arg(second arg - 1);
}

“lazy”大概是为了阻止第一个(函数)参数的无限扩展(请阅读lazy和严格的y组合器之间的区别以了解原因)。

代码非常可怕。匿名函数是很好的,但是在C++缺乏句法支持的情况下的黑客行为使它们不值得付出努力。