En lenguajes con "tipos estáticos" se determina el tipo de todas las expresiones antes de la ejecución del programa (típicamente al compilar).