"You can’t just place a LISP book on top of an x86 chip and hope that the hardware learns about lambda calculus by osmosis."