🇮🇷 Iran Proxy | https://www.wikipedia.org/wiki/Template:Type_systems

Template:Type systems

From Wikipedia, the free encyclopedia

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

Hidden category: