Bigloo has a special place in my heart. I spent a few years building scheme bindings to various C graphics and networking libraries. I can't quite put my finger on it, but I found it very enjoyable. Getting C-like performance from scheme is just wonderful.
> A lisp with type inference and performance is quite rare.
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.
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.