See: Programming Language, Data Type, Strong Typing, Strongly-Typed, Statically Typed Programming Language, Dependently Typed Programming Language, Typed Programming Language, Weakly Typed Programming Language, Type Checking Algorithm.