История изменений

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

Речь вообще не о побочных эффетках процедуры или функции, а об общем понятии побочные эффекты вычислений. Процедура - создаётся для выполнения побочных эффектов по мере вычислений. Функция - создаётся для вычисления возвращаемого результата и она может быть свободна или несвободна от побочных эффектов. Для процедуры выражение употреблять свободна от побочных эффектов - нонсенс.

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

Речь вообще не о побочных эффетках процедуры или функции, а об общем понятии побочные эффекты вычислений. Процедура - создаётся для выполнения побочных эффектов по мере вычислений. Функция - создаётся для вычисления возвращаемого результата и она может быть свободна или не свободна от побочных эффектов. Для процедуры выражение употреблять свободна от побочных эффектов - нонсенс.