Выражение цифр Чёрча с помощью Boost.Bind

Числа Черча могут быть выражены в C++0x (C++11?), используя новые лямбда-части языка, используя что-то вроде это:

typedef function<int(int)> F;
static const F id = [=](int x) { return x; };

function<F(F)> church(unsigned int i)
{
  if(i == 0) {
    return [=] (F f) { return id; };
  }

  return [=] (F f) {
    F tmp = [=](int x) { return f(church(i-1)(f)(x)); };
    return tmp;
  };
}

Можно ли выразить цифры Чёрча с помощью Boost.Bind и C++03? Если да, то как?


c++ boost church-encoding lambda-calculus boost-bind
person PaulH    schedule 01.09.2011    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Хорошо, я ничего не знаю о церковных числительных, и я на самом деле не тестировал этот код, но что-то вроде этого должно работать :)

ХТХ!

// forward
boost::function<F (F)> church(unsigned int i);

typedef boost::function<int (int)> F;

int idFunc(int x)
{
  return x;
}

static const F id = boost::bind(&idFunc, _1);

F ChurchFunc0(F f)
{
  return id;
}

int ChurchFuncInner(F f, int i, int x)
{
  return f(church(i - 1)(f)(x));
}

F ChurchFunc(F f, int i)
{
  return boost::bind(&ChurchFuncInner, f, i, _1);
}

boost::function<F (F)> church(unsigned int i)
{
  if (i == 0)
  {
    return boost::bind(&ChurchFunc0, _1);
  }

  return boost::bind(&ChurchFunc, _1, i);
}
person fileoffset    schedule 02.09.2011