type system in Greek

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