implement lambda calculus in different languages