5 ms·
Anyone know of any good introductory resources on combinators? Stephen Wolfram's book seems too advanced for me.
by max_ 3y ago
Anyone know of any good introductory resources on combinators? Stephen Wolfram's book seems too advanced for me.
- robinhouston 3y agoThat depends rather on your background. I found Schönfinkel's original paper to be very accessible. Perhaps you will too, if you know a little old-fashioned logic. http://sshieh.web.wesleyan.edu/wescourses/2013f/388/e-texts/Schonfinkel%20On%20the%20Building%20Blocks%20of%20Mathematical%20Logic.pdf http://sshieh.web.wesleyan.edu/wescourses/2013f/388/e-texts/...
- eduhetxub 3y agoQuite frankly, the Wikipedia page should tell anyone everything they could want to know (for starters). https://en.wikipedia.org/wiki/SKI_combinator_calculus https://en.wikipedia.org/wiki/SKI_combinator_calculus
- QuesnayJr 3y agoI took your advice, and you're right, it is very readable. Seeing it in its original context also helps me understand why a logician would want to invent it.
- denotational 3y agoI read Lambda-Calculus and Combinators: An Introduction by J Roger Hindley as an undergraduate and found it was very accessible.
- gonzus 3y agoI would highly recommend To Mock a Mockingbird by Raymond Smullyan. It will also introduce you (if you are not already aware) to the wonderful world of Smullyan's books.
- zellyn 3y agoI would start with lambda calculus. If you pick the right intro video, they'll stray into combinators: https://www.youtube.com/watch?v=3VQ382QG-y4 https://www.youtube.com/watch?v=3VQ382QG-y4 is very good.