Once you get to the final chapters, where an intermediate representation of lambda calculus is presented (G-code), read this accompanying paper [1] and wonder w

Once you get to the final chapters, where an intermediate representation of lambda calculus is presented (G-code), read this accompanying paper [1] and wonder where we could be now if the market and hardware manufacturers took a π degree turn to fully support functional paradigms. [1] https://www.doc.ic.ac.uk/~wl/icprojects/papers/reduceron08.pdf https://www.doc.ic.ac.uk/~wl/icprojects/papers/reduceron08.p...