В теории типа типирование среда (или типирование контекст ) представляет собой ассоциацию между именами переменных и типов данных .
Более формально среда набор или упорядоченный список пар , обычно пишется как , где переменная и его тип.
читается как " имеет тип в контексте ". [1]
В статически типизированных языках программирования эти среды используются и поддерживаются правила типа для типа проверки данной программы или выражение.