> that REPLs are a poor substitute for many static analysis tasks.

Maybe I should have asked you what you use the REPLs of statically typed languages for.

I actually never used REPLs for that (neither in Python, CL, Clojurescript nor Elixir).

> That sounds nice, but it's too abstract to persuade IMHO.

Of course it is. I also didn't get it until I've tried it myself. That actually has been the main cause why I tried (Common) Lisp at all (well I had been using Emacs Lisp before, but that doesn't really count ;).