Latent typing

Type systems
Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing

In computer programming, latent typing (as opposed to eager typing or manifest typing) is a style of typing that does not require (or perhaps even offer) explicit type declarations. Latent typing is heavily associated with duck typing and dynamic typing at run-time, but may also be achieved by type inference and static typing at compile time. A related term, implicit typing, also covers static type-inference systems with few or no annotations.

See also

• Duck typing