The Optimal Implementation of Functional Programming Languages