News for hackers. Stuff that matters.
Re:Lisp System Implementation by mrighele on Saturday June 01, 2019 @07:09AM (#20068611)
Abstract machine doesn't necessarily means that your code will be interpreted. An intermediate representation can just be a practical way to reason about low level code (well, the fact itself that is called "intermediate" gives an hint that it is not necessarily the "final" representation).

Many lisps in fact generate native code, in Common Lisp you can even use "disassemble" to get the native code generated for a function

Re:Lisp System Implementation by pfdietz on Saturday June 01, 2019 @07:38AM (#20068702)
And many lisps that generate native code go through an intermediate representation. SBCL has two, simply named IR1 and IR2.

Also, even an interpreter of "intermediate code" can (dynamically) translate that intermediate code to native code. That's how many JVMs work, for example.