scrambled
scrambled
Concept

Flow typing

Modified just now
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.