Comment by cbkeller | Hacker News Reader

Top New Best Ask Show Jobs

Comment by cbkeller | Hacker News Reader

This earlier post seems to provide some useful context: https://writings.stephenwolfram.com/2020/12/combinators-and-...

He doesn't mention it, but this is basically what we today call "SKI" combinators: 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)

And, 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

Reply on news.ycombinator.com