Тази публикация е обединена с по-дълга: Спектърът на езиците за програмиране Почти всеки практически език за програмиране има система от типове, която определя как да се присвояват типове на различни конструкции в езика и как конструкциите от тези типове взаимодействат помежду си. Повечето програмисти характеризират типовите системи с два набора от свойства. Единият е свързан с това кога се прилагат правилата на системата от типове (известна още като проверка на типа): динамични или..