Skip to content
scrambled
Programming Language Theory Concept

Trapped (runtime) error

Books JourneyProgramming Language Theory Statusreviewing Tags
  • language feature design
  • runtime
  • type theory

According to "Type system" [Luca Cardelli, 1996], a type of errors that immediately terminate the program, such as division by zero, array index out-of-bound (in Java, Rust, etc.). These are deemed as safe as they cannot corrupt the program's state.