3 ms·
This earlier post seems to provide some useful context: https://writings.stephenwolfram.com/2020/12/combinators-and-the-story-of-computation/ https://writings.s
by cbkeller 6y ago
This earlier post seems to provide some useful context: https://writings.stephenwolfram.com/2020/12/combinators-and-the-story-of-computation/ https://writings.stephenwolfram.com/2020/12/combinators-and-...
- brianberns 6y agoHe doesn't mention it, but this is basically what we today call "SKI" combinators: https://en.wikipedia.org/wiki/SKI_combinator_calculus https://en.wikipedia.org/wiki/SKI_combinator_calculus * I is the identity function: Ix = x * K is the constant function: Kxy = x * S is a bit more complex: Sxyz = xz(yz)
- arethuza 6y agoAnd, of course, the Y-combinator which provides recursion: Y = S(K(SII))(S(S(KS)K)(K(SII))) https://en.wikipedia.org/wiki/Fixed-point_combinator https://en.wikipedia.org/wiki/Fixed-point_combinator