Latent typing
Type system where types are associated with values and not variables
Type systems |
---|
General concepts |
|
Major categories |
Minor categories |
|
|
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
References
This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e
![]() | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e