One of my friends told me that the quintessence of Wolfram language lies in the methods implemented by DownValues, UpValues, SubValues, and OwnValues. But I think that in nature Wolfram language is a kind of variant/dialect/enhancement of lisp, hence the lambda calculus is its quintessence.
Any comments/explanations/clarifications will be highly appreciated.
Regards,
HZ
OwnValues et al are the transformation rules used to evaluate expressions. A Lisp program must also maintain transformation rules somewhere in the execution context. So you and your friend seem to be largely in agreement.
As for lambda calculus, it might be more accurate to say that it serves as inspiration for both Lisp and WL. But maybe that equates to quintessence–I won’t quibble.
But these comments approach the question by looking at the form of WL and its model of execution. An alternate perspective would be a sort of teleological one, and from this perspective I think Stephen Wolfram’s own words might be the best answer: What We’ve Built Is a Computational Language (and That’s Very Important!)—Stephen Wolfram Writings