Así dado que Vala permite definir variables sin tipo inicial usando para ello la palabra reservada var, es necesario que se pueda establecer el tipo de una variable con posterioridad a su definición, es decir, inferir ese tipo a partir de una expresión que se encuentra a la derecha de una igualdad.