Typing discipline: Explicit

Explicit typing (also known as eager or manifest) requires an explicit type declaration for each variable in use. This typing discipline is a special case of static typing, since each variable’s type is defined at compile-time.

Explicit typing is the opposite of implicit typing.

Programming languages that uses this typing discipline: