An experimental implementation of a functional programming language based on the lambda calculus