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.
- Algol68 (dialects: Algol68 r0, Algol68 r1, Algol68 sublanguage)
- C (dialects: ANSI C, C11, C99, K&R C)
- C++ (dialects: C++03, C++98)
- Haskell (dialects: Haskell 98)