[nerdponx]

If you can't use an IDE to jump to the definition (or list all possible definitions) of a function, then aren't you missing one of the main benefits of a statically-typed language? If you can't use the static types for static analysis, what's the point?

[sk5t]

You can indeed jump to the method definition in IDEA, although getting the IDE to a good point of dealing with implicits, typeclasses, and their ilk has been a long road.

[dreamcompiler]

Jump to definition is not some special benefit of static typing. Every Common Lisp IDE that I know of offers it, for example.

[Zababa]

Jump to definition is only one part of static analysis. Typechecking is another, performance is a third one.

[dboreham]

You can't jump to the definition of something that's essentially a keyword in the form of a symbol.

[tfigment]

Compile time verification of correct syntax and spelling is important aspect