Posts tagged scheme

spj’s y-combinator in scheme

:: programming, scheme

Recently i bought a second-hand copy of Simon Peyton Jones’ classic The implementation of functional programming languages, and i’ve been having some very pleasant reading hours during the last week.

For instance, i’ve enjoyed Simon’s clear and to-the-point introduction to the lambda calculus and, more concretely, his really lucid explanation of the workings of recursion and the Y combinator. As a matter of fact, i’ve enjoyed it so much that i just wanted to briefly reproduce it here, paraphrased in my surely poorer style, just for the fun of it.