[juki]

Common Lisp does allow one to declare types in order to have the compiler optimize the code. SBCL[0] in particular is known to be pretty good at that. Macsyma also lives on in Common Lisp as Maxima[1].

[0]: http://sbcl.org/ [1]: http://maxima.sourceforge.net/

[lispm]

Though it does not really 'live', the Symbolics Macsyma also has been ported to Common Lisp in the 80s.