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]
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]