Template:Type systems

From HandWiki

Revision as of 08:53, 29 December 2020 by imported>Jworkorg (1 revision imported)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Type systems
General concepts
Type safety
Major categories
Static vs. dynamic Manifest vs. inferred Nominal vs. structural Duck typing
Minor categories
Dependent Flow-sensitive Gradual Intersection Latent Refinement Substructural Unique
See also
Strong and weak typing

Hidden category:

Anonymous