Skip to main content

Type Inference ↔ (feature) TSC to auto-derive implicit Type for Variable (w/o explicit Type Annotation)

Type Inference applies when Variable Declaration & Variable Initialization are on same line

References​

  1. --noImplicitAny ↔ to flag TSC to prevent Type Inference for any - enforce explicit Type for Parameter, Exception, etc

  2. Generics ↔ generic (algebraic) placeholder to work with any variety of Types, but allow Type Inference to catch specific Type

  3. Type Assertion ↔ TS Syntax to override TSC's Type Inference for Static Type of specific Value