This remind of the best material in my opinion to understand the Y combinator, "(Y Y) Works! by Matthias Felleisen and Dan Friedman"[1]. Its very light read IMO, and highly recommended.<p>[1] <a href="https://xivilization.net/~marek/binaries/Y.pdf" rel="nofollow">https://xivilization.net/~marek/binaries/Y.pdf</a>
Unfortunately, the Y Combinator does <i></i>not<i></i> work for Actor programs, which can implement non-deterministic procedures that cannot be implemented in the non-deterministic lambda calculus. For further information, see the following:<p><a href="https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003" rel="nofollow">https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003</a>
This gets posted at least once a year now :D <a href="https://news.ycombinator.com/from?site=mvanier.livejournal.com" rel="nofollow">https://news.ycombinator.com/from?site=mvanier.livejournal.c...</a>
I really didn't expect this sort of Y Combinator, especially on this page. Still very interesting read, because I didn't know it before and at the same time it shed a bit of light on naming of this company.
>I think we can similarly use knowledge of the Y combinator as a dividing line between programmers who are "functionally literate" (i.e. have a reasonably deep knowledge of functional programming) and those who aren't. There are other topics that could serve just as well as Y (notably monads), but Y will do nicely. So if you aspire to have the True Lambda-Nature, read on.