2.2 KiB

Raw Blame History

id	title	challengeType	forumTopicId	dashedName
594810f028c0303b75339ad5	Combinador Y	5	302345	y-combinator

--description--

Em [programação funcional](https://en.wikipedia.org/wiki/Functional programming "wp: functional programming") estrita e em [cálculo de lambda](https://en.wikipedia.org/wiki/lambda calculus "wp: lambda calculus"), funções (expressões lambda) não têm estado e é permitido apenas se referir a argumentos de funções encapsuladas. Isso exclui a definição habitual de uma função recursiva, na qual uma função é associada ao estado de uma variável e o estado dessa variável é usado no corpo da função. O combinador Y é uma função sem estado que, ao ser aplicada a outra função sem estado, retorna uma versão recursiva da função. O combinador Y é a mais simples dessas classes de funções, chamada de [combinador de ponto fixo](https://en.wikipedia.org/wiki/Fixed-point combinator "wp: fixed-point combinator").

--instructions--

Defina a função de combinador Y sem estado e use-a para calcular o fatorial. A função de fatorial, factorial(N), você já tem. Consulte também:

Jim Weirich: Adventures in Functional Programming.

--hints--

Y deve retornar uma função.

assert.equal(typeof Y((f) => (n) => n), 'function');

factorial(1) deve retornar 1.

assert.equal(factorial(1), 1);

factorial(2) deve retornar 2.

assert.equal(factorial(2), 2);

factorial(3) deve retornar 6.

assert.equal(factorial(3), 6);

factorial(4) deve retornar 24.

assert.equal(factorial(4), 24);

factorial(10) deve retornar 3628800.

assert.equal(factorial(10), 3628800);

--seed--

--after-user-code--

var factorial = Y(f => n => (n > 1 ? n * f(n - 1) : 1));

--seed-contents--

function Y(f) {
  return function() {

  };
}

var factorial = Y(function(f) {
  return function (n) {
    return n > 1 ? n * f(n - 1) : 1;
  };
});

--solutions--

var Y = f => (x => x(x))(y => f(x => y(y)(x)));

2.2 KiB Raw Blame History