Template:Type systems
Type systems
General concepts
Type safety
Strong vs. weak typing
Major categories
Static
vs.
dynamic
Manifest
vs.
inferred
Nominal
vs.
structural
Duck typing
Minor categories
Abstract
Dependent
Flow-sensitive
Gradual
Intersection
Latent
Refinement
Substructural
Unique
Session
v
t
e