Further to "why choose?": it struck me as I was writing this post that Common Lispers have the choice of using either typing regimen, or mixing-and-matching as they see fit, and they've mostly standardised on using dynamic typing by default, and static typing as a performance hack. Of course, things might be different if CL's type engine did inference and generics...