Definition
Static Type System
A static type system is a type system whose typing judgements are checked before program execution.
Formally, for an expression
, type environment , and type , the system accepts only when it can derive without evaluating
.