En la teoría de tipos, un entorno de escritura (o contexto de escritura ) representa la asociación entre nombres de variables y tipos de datos .
Más formalmente un entorno es un conjunto u lista ordenada de pares , generalmente escrito como , dónde es una variable y su tipo.
El juicio
se lee como " tiene tipo en contexto ". [1]
En los lenguajes de programación de tipo estático , estos entornos se utilizan y mantienen mediante reglas de tipo para comprobar el tipo de un programa o expresión determinados.