5.1.2 Введение синонимических типов

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

module ПлощадьТреугольника;
    const МНОЖИТЕЛЬ = 0.5;
    type ДЛИНА = real; ПЛОЩАДЬ = real;
    var ВЫСОТА, ОСНОВАНИЕ : ДЛИНА; ОТВЕТ: ПЛОЩАДЬ ;
begin
    read( ВЫСОТА,ОСНОВАНИЕ );
    ОТВЕТ := МНОЖИТЕЛЬ $*$ ОСНОВАНИЕ $*$ ВЫСОТА;
    write(ОТВЕТ)
end ПлощадьТреугольника.

В ней определены два новых типа ДЛИНА и ПЛОЩАДЬ, множество значений каждого из которых -- это множество вещественных чисел с набором доступных для них операций. По существу определение типа такого вида -- это просто введение синонима уже известного типа. Цель такого определения понятна -- повысить наглядность программы.