type system

/T AY1 P S IH0 S T AH0 M/
noun
  1. 1

    (computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.

Translate “type system” into another language