C1705
A strongly typed programming language is one in which the type of every value is known and enforced at compile time or runtime, preventing operations that are not valid for a given type.