ПАСКАЛЬ Почему при обращении к процедуре, аргумент, передаваемый параметру-переменной, может быть только переменной, а не константой или выражением?

Формальные параметры подпрограммы указывают, с какими аргументами следует обращаться к этой подпрограмме (количество аргументов, их последовательность, типы). Они задаются в заголовке подпрограммы в виде списка, разбитого на группы. Разделителем групп является знак точка с запятой (;). В каждую группу  включаются  параметры одного типа, принадлежащие к одной  категории.

Все формальные параметры можно разбить на четыре категории:

параметры-значения;

параметры-переменные;

параметры-константы (используются только в версии 7.0);

параметры-процедуры и параметры-функции.

Для каждого формального параметра следует указать имя и, как правило, тип, а в случае параметра-переменной или параметра-константы - его категорию. Имена параметров могут быть любыми, в том числе и совпадать с именами объектов программы. Необходимо лишь помнить, что в этом случае объект основной программы с таким именем становится недоступным для непосредственного использования подпрограммой. Тип формального параметра может быть практически любым, однако в заголовке подпрограммы нельзя вводить новый тип. Например, нельзя писатьяснение:

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