Back to Freecodecamp

Y combinator

curriculum/challenges/english/blocks/rosetta-code-challenges/594810f028c0303b75339ad5.md

latest1.9 KB
Original Source

--description--

In strict <a href="https://www.freecodecamp.org/news/the-principles-of-functional-programming/" target="_blank" rel="noopener noreferrer nofollow">functional programming</a> and the lambda calculus, functions (lambda expressions) don't have state and are only allowed to refer to arguments of enclosing functions. This rules out the usual definition of a recursive function wherein a function is associated with the state of a variable and this variable's state is used in the body of the function.

The Y combinator is itself a stateless function that, when applied to another stateless function, returns a recursive version of the function. The Y combinator is the simplest of the class of such functions, called fixed-point combinators.

--instructions--

Define the stateless Y combinator function and use it to compute the factorials. The factorial(N) function is already given to you.

--hints--

Y should return a function.

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

factorial(1) should return 1.

js
var factorial = Y(f => n => (n > 1 ? n * f(n - 1) : 1));
assert.equal(factorial(1), 1);

factorial(2) should return 2.

js
var factorial = Y(f => n => (n > 1 ? n * f(n - 1) : 1));
assert.equal(factorial(2), 2);

factorial(3) should return 6.

js
var factorial = Y(f => n => (n > 1 ? n * f(n - 1) : 1));
assert.equal(factorial(3), 6);

factorial(4) should return 24.

js
var factorial = Y(f => n => (n > 1 ? n * f(n - 1) : 1));
assert.equal(factorial(4), 24);

factorial(10) should return 3628800.

js
var factorial = Y(f => n => (n > 1 ? n * f(n - 1) : 1));
assert.equal(factorial(10), 3628800);

--seed--

--seed-contents--

js
function Y(f) {
  return function() {

  };
}

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

--solutions--

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