Описание параметра цикла for в заголовке цикла

Описание параметра цикла for в заголовке цикла соблюдает принцип локальности: переменная описывается в том месте, где она впервые понадобилась

begin
  for i: integer := 1 to 9 do
    write(i,' ');
  // Здесь переменная i не доступна!
  for var i := 9 downto 1 do // описание с автоопределением типа
    write(i,' ');
end.

Описание переменной в заголовке цикла препятствует ее использованию вне цикла. Для другого цикла for потребуется описывать свою переменную. Отметим, что память расходуется эффективно: несколько переменных, описанных в разных циклах for. будут разделять одну память

Ссылки

• Особенности языка: базовый уровень
• Сайт PascalABC.NET: Особенности языка