Середовище типізації

Середовище типізації (Шаблон:Lang-en), або контекст типізації (Шаблон:Lang-en) — поняття у теорії типів, що представляє зв'язок між іменами змінних і типами даних.

Формально кажучи, середовище $\mathrm{\Gamma }$ є множиною або впорядкованим списком пар $⟨x,\tau ⟩$, що зазвичай записується як $x:\tau$. Тут $x$ — змінна, а $\tau$ — її тип.

Судження

Γ ⊢ e: τ

читається як: «e має тип τ у контексті Γ».Шаблон:R

У мовах програмування зі статичною типізацією такі середовища забезпечуються правилами виведення типів.Шаблон:R

Див.також

• Система типізації
• Теорія типів