Take a look at this: https://flownet.com/ron/lambda-calculus.html https://flownet.com/ron/lambda-calculus.html or the video version: https://www.youtube.com/

Take a look at this: https://flownet.com/ron/lambda-calculus.html https://flownet.com/ron/lambda-calculus.html or the video version: https://www.youtube.com/watch?v=8qC1iZN5ozw https://www.youtube.com/watch?v=8qC1iZN5ozw It shows how you can compute factorials in pure lambda calculus, and actually get it to run on a real computer in non-geologic time. The lessons learned from the program transformations along the way can be applied to real programs.