Typing allows reduce runtime type-checking. It allows to use faster specialized byte-code. It will help JIT to build faster code.