====Type system====A type system defines how a programming language classifies values and expressions into "types", how it can manipulate those types and how they interact.
==== Dinamična semantika ====Ko so enkrat podatki opredeljeni, se mora stroju podati navodila za izvajanje operacij nad podatki.