js/src/jit-test/tests/arrow-functions/church-2.js@6474c204b198
js/src/jit-test/tests/arrow-functions/church-2.js
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
1 // Church-Peano integers
3 var Zero = f => x => x;
4 var Succ = n => f => x => n(f)(f(x));
5 var Add = a => b => f => x => a(f)(b(f)(x));
6 var Mul = a => b => f => x => a(b(f))(x);
7 var Exp = a => b => b(a);
9 var n = f => f(k => k + 1)(0);
11 assertEq(n(Zero), 0);
12 assertEq(n(Succ(Zero)), 1);
13 assertEq(n(Succ(Succ(Zero))), 2);
15 var Three = Succ(Succ(Succ(Zero)));
16 var Five = Succ(Succ(Three));
17 assertEq(n(Add(Three)(Five)), 8);
18 assertEq(n(Mul(Three)(Five)), 15);
19 assertEq(n(Exp(Three)(Five)), 243);
