>>36
Because despite all the type annotations you could possibly give to it, run-time profiling is necessary to determine which code paths are most often taken in order to restructure the program flow around them. And please don't tell me anyone is going to bother including that kind of information by hand. Lisp is about semantic purity, and annotations are just ugly.