It is my biggest complaint with Common Lisp, that while the language supports efficient optimization based on type information, it is often a bit cumbersome to

It is my biggest complaint with Common Lisp, that while the language supports efficient optimization based on type information, it is often a bit cumbersome to provide them. However, if you target is to write high performance numeric code, you should consider SBCL first of all. It is excellent in using type-information and has a very good type-inferencer, so the task is a bit easier, and it produces excellent code.