[HN Gopher] Combinators: A Centennial View
___________________________________________________________________
Combinators: A Centennial View
Author : graememcc
Score : 20 points
Date : 2021-03-27 17:33 UTC (5 hours ago)
(HTM) web link (arxiv.org)
(TXT) w3m dump (arxiv.org)
| lindig wrote:
| I find this painful to read. It's always about what Stephen
| Wolfram has done and how it is realised in Mathematica. If you
| are a true expert in a field you should have less trouble
| acknowledging other people's contributions. I missed, for
| example, the connection with Church numerals or the
| acknowledgement that substitution is not just defined in
| Mathematica.
| artemonster wrote:
| If you want to learn about combinators and have some great fun
| while doing it I just can't recommend enough of this book: "To
| Mock a Mockingbird" by Raymond Smullyan. Don't sweat it, buy it,
| I haven't had so much fun in a long time.
| Jtsummers wrote:
| Seconding this book. I jumped back to the beginning of his
| recreational logic books and have been reading through them
| this year. Lots of fun, and as a programmer there's an extra
| (self-induced) challenge to explore programs that can generate,
| solve, or interpret the systems and problems he sets up.
| a4isms wrote:
| Thirding.
___________________________________________________________________
(page generated 2021-03-27 23:01 UTC)