About: Latent typing

In computer programming, latent 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 runtime, 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.