3 ms·
> code-as-data which I consider to be the defining problem of Lisp/Scheme. It becomes impossible to reason about code if it gets used too much or indeed at all
by somewhereoutth 4y ago
> code-as-data
which I consider to be the defining problem of Lisp/Scheme. It becomes impossible to reason about code if it gets used too much or indeed at all.
Note that the lambda calculus has no such feature (though of course you could build an LC interpreter in LC)
- lispm 4y agoBut then Lisp is a family of general purpose programming languages and lambda calculus is not.
- somewhereoutth 4y agoLisp is also proffered as being foundational in some sense. I would argue that the LC is a better foundation.