Dacă toţi operanzii care intervin într-o expresie au acelaşi tip, tipul expresiei coincide cu tipul operanzilor.

În cazul în care operanzii nu au acelaşi tip, pe parcursul evaluării expresiei se realizează automat o serie de conversii implicite.

Regula generală pe care se bazează conversiile implicite este: operandul care are un domeniu de valori mai restrâns este convertit la tipul operandului care are mulţimea valorilor mai amplă.