3 ms·
Church encoding is mind-bending. ZERO = (f, x) => x ONE = (f, x) => f(x) TWO = (f, x) => f(f(x)) THREE = (f, x) => f(f(f(x))) TRUE =
by mLuby 6y ago
Church encoding is mind-bending.
ZERO = (f, x) => x
ONE = (f, x) => f(x)
TWO = (f, x) => f(f(x))
THREE = (f, x) => f(f(f(x)))
TRUE = (a, b) => a
FALSE = (a, b) => b
IF = (p, a, b) => p(a, b)
NOT = (p, a, b) => p(b, a)
AND = (p, q) => p(q, p)
OR = (p, q) => p(p, q)