Implementation of functional programming languages