Type System

Type system é o conjunto de regras sobre como tipos são definidos, combinados e verificados em uma linguagem.