|
|
|
|
|
|
by Trung0246
77 days ago
|
|
|
Wikipedia have a pretty good Z combinator demo:
https://en.wikipedia.org/wiki/Fixed-point_combinator --- const K = <A, B>(a: A) => (_b: B) => a;
const S = <A, B, C>(a: (x: C) => (y: B) => A) => (b: (x: C) => B) => (c: C) => a(c)(b(c)); const I = S(K)(K);
const B = S(K(S))(K);
const C = S(B(B)(S))(K(K));
const W = C(S)(I);
const T = C(I);
const V = B(C)(T);
const I1 = C(C(I));
const C1 = B(C);
const R1 = C1(C1);
const V1 = B(R1)(C1);
const I2 = R1(V); const Z = B(W(I1))(V1(B)(W(I2))); |
|
|