> Long compile times can also imply that the compiler does something complex > like actually optimizing your programs (C++) or proving properties that are > important for security (Ada).
I always figured that "in the future" compilers will take successive refinement approaches. The first pass would be fast and simple. Then a second level could run which prove code properties and/or do more expensive optimizations. Basically the line between JIT and AOT would become more blurred. Of course Nim will be doing pre-cognitive quantum compiling by then. :p
