OCCAM – является языком строгой типизации, т.е. отсутствует неявное преобразование типов. Пример: язык программирования Паскаль.

1). BOOL (логический) – двоичный тип.

2). BYTE – байтовый тип.

3). INT16, INT32, INT64 – целый тип.

4). REAL16, REAL 32, REAL 64 – тип с плавающей запятой.

[< размерность >] <тип> <идентификатор>

Пример:

[16]BOOL x – x является массивом бит длиной 16.

Каждый из базовых типов имеет ключевое слово CHAN OF (модификатор).

Пример:

CHAN OF INT ch // канал для передачи целых данных