Typing discipline: Implicit

Implicit typing (also known as latent typing) doesn’t require explicit type declarations of variables in use.

This typing discipline is usually associated with dynamic typing, when types are associated with values instead of variables, and a variable can be assigned a value of any type. Alternatively it can be used with static typing if the language allows type inference, i.e., deducing the type of the variable automatically by evaluating the corresponding expression.

Implicit typing is the opposite of explicit typing.