type-theory Definition Strong Typing The compiler knows partially about the types and thus guarantees consistency only partially.