Переліковий тип є обмеженою впорядкованою послідовністю однотипних скалярних констант, що і складають цей тип. Значення кожної константи задається її ім’ям. Імена окремих констант відокремлюють одне від одного комами, а вся сукупність констант, що складає переліковий тип, обмежується круглими дужками.
Програміст об’єднує до однієї групи за якоюсь ознакою всю сукупність значень, що складають переліковий тип.
Наприклад, переліковий тип turn (поворот) об’єднує скалярні значення left, right; cube (кубик) об’єднує значення с1, с2, с3, с4, с5, с6; move (рух) об’єднує значення left, right, backward, forward.
Переліковий тип описується у блоці опису типів, що починається зі службового слова type. Наприклад:
Type
turn = ( left, right );
cube = ( c1, c2, c3, c4, c5, c6 );
Кожне значення є константою свого типу і може належати тільки одному з перерахованих типів, що задані у програмі. Наприклад типи turn не може бути визначеними у одній програмі з типом move через те, що обидва типи містять однакові константи left та right.
Далі, після опису типу, його можна використовувати, як звичайний стандартний тип для опису змінних.
Впорядкована послідовність значень, що становить переліковий тип, автоматично нумерується, починаючи з 0 і далі через 1. Звідси випливає, що до перелікових змінних та констант можна застосовувати стандартні функції Pred, Succ та Ord.
Змінні перелікового типу не можуть бути елементами списків входу або виходу.
