What about tail-call optimization? What about "correct" generics (as in .NET)? What about startup time? What about closures?

Anyway old useless flame.