pjp wrote:pun_guin wrote:Common Lisp can outperform C
Is there anything meaningful written about that? I'm genuinely interested. Or is it "under certain workloads" or limited things no one does?

The following is in some sense "perform comparably to" rather than "outperform", but Tim Bradshaw has just written a blog post ("
The lost cause of the Lisp machines") which in passing says:
The most important thing is that we have good stock-hardware Lisp compilers today. As an example, today’s CL compilers are not far from CLANG/LLVM for floating-point code. I tested SBCL and LispWorks: it would be interesting to know how many times more work has gone into LLVM than them for such a relatively small improvement. I can’t imagine a world where these two CL compilers would not be at least comparable to LLVM if similar effort was spent on them.
and in a footnote to that says:
If anyone has good knowledge of Arm64 (specifically Apple M1) assembler and performance, and the patience to pore over a couple of assembler listings and work out performance differences, please get in touch. I have written most of a document exploring the difference in performance, but I lost the will to live at the point where it came down to understanding just what details made the LLVM code faster. All the compilers seem to do a good job of the actual float code, but perhaps things like array access or loop overhead are a little slower in Lisp. The difference between SBCL & LLVM is a factor of under 1.2.