Java SE 10 (March 2018) introduced type inference for local variables. Java Language Architect Brian Goetz explains the feature.

Program can have same name for local and global variable but inside a function local variable will be give preference.

The variable i is declared using the let keyword. This ensures it is a local variable. Initially, its value is undefined, before the for loop assigns and modifies its value.

When the macro processor executes a macro program statement that can create a macro variable (such as a %LET statement), the macro processor attempts to change the value of an existing macro variable ...

The reason why global constants in Java use the static and final keywords is because final ensures a variable cannot change, while static ensures only one copy of the constant variable is placed in ...