type system
set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules
en-US/ˈtaɪp ˈsɪstəm/
en-GB/ˈtaɪp ˈsɪstəm/
set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules