In Modula 2 (und bereits in Pascal) lassen sich weitere skalare Typen bilden:

• Aufzählungstypen durch direkte Angabe der zugehörigen Werte. Man gibt einen Typnamen und die Folge der Namen der dazugehörigen Werte direkt an. Beispiel:

  TYPE Farbe = (rot, orange, gelb, gruen, blau, violett);

  Der Gültigkeitsbereich der so eingeführten neuen Bezeichner ist der zugehörige Block.

  Die interne Darstellung der Werte eines Aufzählungstyps braucht den Benutzer nicht zu interessieren. Ein/Ausgabe-Operationen sind nicht standardmäßig vorgegeben.

  Auch BOOLEAN = (FALSE, TRUE) kann als Aufzählungstyp aufgefaßt werden, doch gibt es hier noch weitere Operationen, etwa AND, OR und NOT.

• Bereichstypen durch Ausschnittbildung aus einem schon vorhandenen skalaren Typ. Beispiel:

  TYPE Byte = (0 .. 255);

  Die Werte eines Bereichstyps sind auch Werte des zugehörigen Grundtyps und verhalten sich genauso; Ein- Ausgabeoperationen sind die des Grundtyps, falls sie dort vorhanden sind. An eine Variable eines Bereichstyps dürfen aber nur Werte aus diesem Bereich zugewiesen werden.

• Vergleiche =, <>, <, <=, >, >= ; bei Aufzählungstypen im Sinne der Reihenfolge
• ORD(n) gibt die Ordnungsnummer des Wertes n
• SUCC(n) ist der Nachfolger von n, falls existent
• PRED(n) ist der Vorgänger von n, falls existent

• Zuweisung an Variable desselben Typs
• Steuerung einer CASE-Anweisung
• Auswahl einer RECORD-Variante
• Verwendung als Indextyp eines ARRAY-Typs (nicht mit INTEGER oder CARDINAL!)