type system

Noun

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

Translations

 * Finnish: tyyppijärjestelmä
 * German: Typsystem
 * Greek:
 * Serbo-Croatian: sustav tipova, sustav obilježja