And lambda calculus isn't even a programming language. The argument was like saying "C still tries to preserve something from Touring machine".