noun
type system
Computing term for the set of rules that assign types to language constructs.
このプログラミング言語は強力な型システムを持っている。
This programming language has a powerful type system.
Compound of 型 (type) and システム (system), a direct calque from English 'type system'.