That's one of the cool things about Julia. If it can prove the types of the arguments to a function, or at least reduce them to a small set. It can do the dispatch at compile time.

Well, Julia has better than semi decent support for generics, since every function is by definition a generic.