type-theory Definition Static Typing A compiler knows the types of expressions and guarantees consistency.