Ein Typ ähnelt einem Abschnitt. Dennoch sind diese beiden Begriffe nicht austauschbar. In jeder Maschinensprache handelt es sich bei einem Typ um einen Ä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.
EGL-Basiselementabschnitte sind ebenfalls Typen. Wenn Sie eine Variable auf der Basis einen INT-Abschnitts deklarieren, werden für diese Variablen bestimmte Grenzen gesetzt, d. h. die Variable wird als INT (ganze Zahl) typisiert. Andere Abschnitte wie beispielsweise 'Dictionary' (Wörterverzeichnis) oder 'Record' sind ebenfalls Typen, da durch sie die Gruppe der möglichen Werte eingegrenzt wird. Der Abschnitt 'DataItem' (Datenelement) stellt eine Ausnahme dar. Ein Datenelement hat denselben Typ wie der Basiselementabschnitt, auf dem es basiert.
Die Handhabung von Typen in EGL ist streng geregelt. Wenn Sie beispielsweise eine Variable auf der Basis eines Wörterverzeichnisabschnitts erstellen, gibt es Regeln dafür, wie ein Ausdruck erstellt werden muss, der diese Variable verwendet. Sie können eine Variable vom Typ 'Dictionary' nicht mit einer Variablen vom Typ INT oder einer anderen Variablen eines Basiselementtyps gleichsetzen.