Functional programming is the paradigm for the future of creating software. Yet, the model of computation, derived from the Lambda Calculus through the Turing Machine, has locked us into a local maximum of efficiency. In this talk, Jim will go back to the Lambda Calculus and explore what optimal evaluation means. Then, he will move to the present to look at projects like Higher Order Virtual Machine and see what pros and cons are on the horizon.