TURBO PASCAL

             Обычно вы  определяете ссылочные типы,  которые указывают на
        конкретный вид элемента, например, целое значение или запись дан-
        ных.  Как  вы  далее увидите,  можно извлечь преимущество из того
        факта, что указателю известно, на что он указывает. Чтобы опреде-
        лить типизированный указатель, вы можете описать новый тип, опре-
        деленный символом каре (^),  за которым следуют  один  или  более
        идентификаторов. Например, чтобы определить указатель на Integer,
        вы можете сделать следующее:

             type PIneger = ^Integer;

             Теперь вы можете описать переменные типа PInteger.  Если  вы
        не собираетесь часто использовать ссылочный тип, то можете  прос-
        то описать переменные,  как указатели на  уже  определенный  тип.
        Например,  если вы определили PInteger как ^Integer, то следующие
        описания переменной эквивалентны:

             var
               X: ^Integer:
               Y: PInteger;