[cygx]

Static types avoid the cost of runtime type checks and dynamic dispatch.

[naasking]

Also they permit more inlining opportunities, allow eliminating more dead code, and more. Types almost always improve program performance.