In
computer programming
Computer programming or coding is the composition of sequences of instructions, called computer program, programs, that computers can follow to perform tasks. It involves designing and implementing algorithms, step-by-step specifications of proc ...
, latent typing refers to a type system where types are associated with
values
In ethics and social sciences, value denotes the degree of importance of some thing or action, with the aim of determining which actions are best to do or what way is best to live ( normative ethics), or to describe the significance of different a ...
and not
variables.
An example latently typed language is
Scheme. This typically requires run-time type checking and so is commonly used synonymously with
dynamic typing.
See also
*
Duck typing
References
Data types
Type systems
{{compu-lang-stub