Article · Wikipedia archive · Last revised May 27, 2026

Latent typing

In computer programming, latent typing refers to a type system where types are associated with values 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.

Last revised
May 27, 2026
Read time
≈ 1 min
Length
80 w
Citations
2
Source
Wikipedia ↗

In computer programming, latent typing refers to a type system where types are associated with values and not variables.1 An example latently typed language is Scheme. This typically requires run-time type checking and so is commonly used synonymously with dynamic typing.2

See also

See also

References

References

  1. Allen B. Tucker (28 June 2004). Computer Science Handbook, Second Edition. Taylor & Francis. pp. 92–. ISBN 978-1-58488-360-9.
  2. Benjamin C. Pierce (January 2002). Types and Programming Languages. MIT Press. pp. 2–. ISBN 978-0-262-16209-8.