Skip to content
scrambled
Programming Language Theory Concept

Flow typing

Books JourneyProgramming Language Theory Statusmastered Tags
  • language feature design
  • program analysis
  • runtime
  • semantics
  • type theory

A type system feature where a variable's type changes based on control flow - after if (x != null), the type of x narrows from T | null to T.

A type system feature where a variable's type changes based on control flow - after if (x != null), the type of x narrows from T | null to T.