En la teoría de tipos, un entorno de tipificación (o contexto de tipificación ) representa la asociación entre nombres de variables y tipos de datos .
Más formalmente, un entorno es un conjunto o lista ordenada de pares , generalmente escrito como , donde es una variable y su tipo.
El juicio
se lee como " tiene tipo en contexto ". [1]
Para cada tipo de cuerpo de función se comprueba:
Ejemplo de reglas de mecanografía:
En los lenguajes de programación tipados estáticamente, estos entornos se utilizan y mantienen mediante reglas de tipificación para comprobar el tipo de un programa o expresión determinados.
Véase también
Referencias
- ^ "Cálculo λ simplemente tipificado" (PDF) .