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.
Famous quotes containing the word latent:
“all the categories which we employ to describe conscious mental acts, such as ideas, purposes, resolutions, and so on, can be applied to ... these latent states.”
—Sigmund Freud (1856–1939)