Latent typing
From Wikipedia, the free encyclopedia
Latent typing, as opposed to eager typing or manifest typing, is when a programming language's type system does not require (or, in some cases, even offer) explicit type declarations for it to compile correctly, or in the case of interpreted languages, just to run. Latent typing may be achieved by type inference or duck typing, though the term is more heavily associated with the latter and with dynamic typing, where as inference is linked to static typing.