Середовище типізації (), або контекст типізації () — поняття у теорії типів, що представляє зв'язок між іменами змінних і типами даних.
Формально кажучи, середовище є множиною або впорядкованим списком пар , що зазвичай записується як . Тут — змінна, а — її тип.
Судження Γ ⊢ e: τ читається як: «e має тип τ у контексті Γ».
У мовах програмування зі статичною типізацією такі середовища забезпечуються правилами виведення типів.
Див.також Система типізації Теорія типів
Посилання