[GMoromisato]

Maybe machine language is the formless chaos and Lisp is the purest manifestation of order. All other languages are points in between.

[gf000]

That makes no sense without specifying what Lisp actually is.

S-expressions are a generic tree, that's not a language, that's just syntax.

Is it CL, Clojure, scheme?

Like these don't even share a basic object model, it's like getting the AST of Haskell and C and then talking about how good that AST is.

[throwaway81523]

See Cardelli's breakdown in his famous article "Typeful programming":

http://www.lucacardelli.name/Papers/TypefulProg.pdf

Page 52 perhaps.