Compilation of functional languages is not as far removed from compilation of object-oriented languages as you might have thought: