I don't think so. This is a very simple implementation of lambda calculus showing as simply as possible how on two operations, abstraction and application, can

I don't think so. This is a very simple implementation of lambda calculus showing as simply as possible how on two operations, abstraction and application, can be built the data and control structures at the bottom of a programming language: booleans, pairs, lists, recursion, numbers. Everything else being syntactic sugar. In theory.