Ein Typ ist ein Änderungswert, der die für eine Variable zulässige Gruppe von Werten eingrenzt. Beispiel: INT ist ein numerischer Typ, der sicherstellt, dass eine Variable eine ganze Zahl enthält.
Darüber hinaus können Sie Variablen entweder als Wertetyp oder als Referenztyp (Verweistyp) klassifizieren. Eine Variable des Wertetyps enthält Daten: Zahlen, Zeichen oder strukturierte Informationen. Eine Referenzvariable enthält die Adresse eines Speicherbereichs, der Daten enthält. In einigen Sprachen wie beispielsweise 'C', werden Referenzvariablen als Zeiger bezeichnet. Für diese beiden Variablentypen gelten unterschiedliche Regeln. Entsprechende Beispiele hierzu finden Sie unter Referenzvariablen und Referenzkompatibilität in EGL.