The pro lisp/s expression comments check out.
Now human programmers might find it more difficult to get certain things right than others, but to a LLM only quantity of examples matters, no?
*(Memory leaks can probably be found by just having the LLM run valgrind itself and chase them down, but this gives you a good feel for the difficulties of writing safe C. Again, never tried any of this with LLMs myself, and I haven't written a nontrivial C program in years.)
That's not my experience: I've seen an LLM generate a C++ use-after-free (1.5 month ago).
This sounds really really interesting. I don’t suppose you can share more about this?
The trouble is that as a “foundation”, it’s not immediately useful unless you are Java and can thus consume the record layer.
I also have a huge soft spot for Lisp, so your work here dovetails with two of my favourite things. I hope you get the chance to publish!
My understanding is that LLM are deflationary, resulting in code being priced as a commodity (cost plus). If this bears out, then lower token costs and higher performance (esp in my case, where good performance results in lower infra costs to host the service) will start to matter more and more. Common Lisp code bases are famously dense (in the good sense), resulting in perhaps lower token costs when an LLM needs to review and make a change (smaller code bases also help humans / small teams). Common Lisp can achieve performance that’s close to that of an equivalent implementation in C or C++.
Taken together, they make for one case for using CL and other similar languages, although one that’s grounded largely in economics.