The Y Combinator

This remind of the best material in my opinion to understand the Y combinator, &quot;(Y Y) Works! by Matthias Felleisen and Dan Friedman&quot;[1]. Its very light read IMO, and highly recommended.<p>[1] <a href="https:&#x2F;&#x2F;xivilization.net&#x2F;~marek&#x2F;binaries&#x2F;Y.pdf" rel="nofollow">https:&#x2F;&#x2F;xivilization.net&#x2F;~marek&#x2F;binaries&#x2F;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:&#x2F;&#x2F;papers.ssrn.com&#x2F;sol3&#x2F;papers.cfm?abstract_id=3418003" rel="nofollow">https:&#x2F;&#x2F;papers.ssrn.com&#x2F;sol3&#x2F;papers.cfm?abstract_id=3418003</a>

This gets posted at least once a year now :D <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;from?site=mvanier.livejournal.com" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;from?site=mvanier.livejournal.c...</a>

Mike taught the intro CS course at Caltech using SICP (at least when I took it). It’s cool to see his name pop up here and there still.

Does anyone happen to know where is there an article on the (non)existence of the Y combinator typed using recursive parameterized types?

I really didn&#x27;t expect this sort of Y Combinator, especially on this page. Still very interesting read, because I didn&#x27;t know it before and at the same time it shed a bit of light on naming of this company.

But... Y?

&gt;I think we can similarly use knowledge of the Y combinator as a dividing line between programmers who are &quot;functionally literate&quot; (i.e. have a reasonably deep knowledge of functional programming) and those who aren&#x27;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.