Latent typing

In computer programming, latent typing refers to a type system where types are associated with values and not variables.<ref name="Tucker2004">Template:Cite book</ref> An example latently typed language is Scheme. This typically requires run-time type checking and so is commonly used synonymously with dynamic typing.<ref name="Pierce2002">Template:Cite book</ref>

See also

• Duck typing

References

Template:Plt-stub

1. REDIRECT Template:Prog-lang-stub