|
1 /* This Source Code Form is subject to the terms of the Mozilla Public |
|
2 * License, v. 2.0. If a copy of the MPL was not distributed with this |
|
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
|
4 |
|
5 // The Y combinator, applied to the factorial function |
|
6 |
|
7 // Return the function that is the fixed point of f. |
|
8 var Y = f => (x => f(v => x(x)(v))) |
|
9 (x => f(v => x(x)(v))); |
|
10 |
|
11 // The factorial function is the fixed point of this: |
|
12 var f = fac => n => (n <= 1) ? 1 : n * fac(n - 1); |
|
13 |
|
14 print("5! is " + Y(f)(5)); |