Skip to content
scrambled
Programming Language Theory Concept

Conservative

Books JourneyProgramming Language Theory Statusmastered Tags
  • compiler implementation
  • language feature design
  • type theory

A type checker that considers all possible executions rather than just actual ones - may reject programs that would run safely (false positives) because it can't know which branch will execute at runt

A type checker that considers all possible executions rather than just actual ones - may reject programs that would run safely (false positives) because it can't know which branch will execute at runtime.