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