Tipo de variável no PHP

Bom é uma duvida simples mas se eu n perguntar não saberei.

Tendo aula de "Ling. Formais, compiladores e automatos finitos" o professor explicando porque tem q definir a variável em linguagens compiladas tipo : var int a; e em linguagens interpretadas não precisa. Mas no PHP você pode definir neh? como faço isso?

quero dizer q $a vai ser int, como faço? e o que foi dito na aula é q se for pré-definido ajuda na execução do programa (eu sei q em fraços de milésimos).