type system noun1 •A way programming language classifies values and expressions into types (data types), how it can manipulate those types, and how they interact. formstype systems
