Skip to content
scrambled
Programming Language Theory Concept

Occurrence typing

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

A type system technique where a variable's type can differ at each occurrence (use) based on what predicates have been checked - the same variable x can have type Number in one branch and String in another. Synonymous with Flow typing.

A type system technique where a variable's type can differ at each occurrence (use) based on what predicates have been checked - the same variable x can have type Number in one branch and String in another. Synonymous with Flow typing.