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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Середовище типізації (англ. typing environment), або контекст типізації (англ. typing context) — поняття у теорії типів, що представляє зв'язок між іменами змінних і типами даних.

Формально кажучи, середовище є множиною або впорядкованим списком пар , що зазвичай записується як . Тут  — змінна, а  — її тип.

Судження

Γ ⊢ e: τ

читається як: «e має тип τ у контексті Γ».[1]

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

Див.також

[ред. | ред. код]

Посилання

[ред. | ред. код]
  1. а б Simply Typed λ-calculus (PDF).