5.1.1 Раздел определений типов

При рассмотрении конкретных программ мы неоднократно убеждались, что явное задание типов всех переменных в начале программы, составляющее существенную часть ее документации, значительно облегчает чтение и понимание программы.

Знание в любой точке программы типа значения, задаваемого константой, переменной или выражением (тип их значения всегда можно определить в Zonnon-программе по их виду или описанию статически, без реализации каких-либо вычислений по программе), очень существенно не только для понимания алгоритма. Оно повышает надежность программы, поскольку дает возможность программисту избежать двусмысленности и бессмысленных конструкций при разработке программы и позволяет транслятору проверять правомерность и корректность использования языковых конструкций в программе с точки зрения не только синтаксиса, но и семантики, гарантировать полное отсутствие в оттранслированной программе содержательных ошибок определенного вида.

Концепция типа данных языка Zonnon позволяет получать и более эффективные программы, поскольку, например, дает транслятору возможность экономно отводить память под переменные и выбирать для операций эффективные их реализации машинными командами.

type { TypeDeclaration ";"}.
TypeDeclaration = ident "=" Type.
Type = ( TypeName | EnumType | ArrayType).

Рис. 5.1. Синтаксис раздела описаний типа

Очень важно то, что, программируя на языке Zonnon, программист может определять и в дальнейшем использовать свои собственные типы данных. Это дает возможность программировать в терминах решаемой задачи, а не в терминах используемого компьютера.

Раздел определений типов находится в программе между разделами определений констант и описаний переменных и задается синтаксическими правиломи, изображенными на рис. 5.1, где идентификатор -- это имя-типа, выбранное в качестве имени определяемого типа, а тип  -- это формула, задающая множество значений определяемого типа и набор допустимых операций.