Нет, почему? В f(x) = x + 1 переменная x

Question

не обязана быть мутабельной, чтобы оставаться переменной. При разных вызовах функции она может принимать разные значения.

0

08.04.2019

10 просмотров

в FP кстати "вызова" как такового на уровне языка - нет, есть уравнения мол x = f(y)

0

08.04.2019

Roman Sharkov · Accepted Answer

верно, поэтому и уточнил, что это идентификатор значения которое может быть любым (в рамках системы типов) 🙂

0

08.04.2019