That’s one of its strengths though . A lisp with type inference and performance is quite rare. More lisps should be less lispy .
You mean apart from several Scheme implementations?
Chez Scheme is blisteringly fast, and on-par with C for quite a few things.
Gambit-C (Compiles to C), Chicken (based on the Cheney-on-the-MTA model) and Bigloo (designed to replace C++) also deserve a reference here.
That's quite a befuddling thing to say, in every aspect.
The popular SBCL is likely the fastest general Lisp out there (gets close to or equal to C when declared properly), and type inference is certainly part of those speed wins.