3 ms·
It's not different from eval $1 at all. Because it is eval $1. However, by the time that $1 has been passed, the Lisp zeroes and ones of the eval function hav
by urthor 5y ago
It's not different from eval $1 at all. Because it is eval $1.
However, by the time that $1 has been passed, the Lisp zeroes and ones of the eval function have been turned into the appropriate machine language of the CPU.
As of course different CPUs have different evaluation pipelines for integers, floats, vertices, branches etc.
So it evaluates a block of lisp as purely integers, floats, branches, vertices, and sends the appropriate data type off to the appropriate evaluation line, and reassembles it.
- p4bl0 5y agoWhile this point of view can be seen as technically valid, I don't see it as relevant because it negates all the specificity of the different paradigms and levels of interpretation. Of course all those runs on the same computer in fine, but how is that what's interesting here? It's a bit like saying that mammals reproduction is not different from plants reproduction because in the end all it is are ADN based cells that work together based on the same chemical mechanisms.
- urthor 5y agoThe idea I'm struggling to explain, and probably failing to convey, is that the Lisp REPL does not look like Lisp when it accepts the Lisp. It will be machine code that accepts unicode strings, parses those unicode strings into Lisp, compiles the Lisp into machine code, then evaluates the machine code. So essentially it's not the same as passing a Lisp variable to a Lisp function inside a Lisp text file.
- slunk 5y agoI was also struggling to convey this point. I think you've hit the nail on the head.
- p4bl0 5y agoAh, I see, right. One specificity of Lisp however is that the textual representation already looks like the abstract syntax tree that the Lisp variable which is passed to the Lisp function in the text file contains. But I can easily admit that this fact can also be seen as some sort of illusion since in the end it is just a sequence of bytes.
- deleted 5y ago[deleted]