Локальные переменные

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

Пусть f и h — функции, и необходимо вычислить выражение h (f (X), f(X)). Если в язы­ке нет оптимизирующих методов, то в этом случае произойдет двойное вычисление вы­ра­же­ния f (X). Чтобы этого не произошло, можно прибегнуть к такому изощренному спо­со­бу: (lv.h (v, v))(f (X)). Естественно, что в этом случает выражение f (X) будет вычислено пер­вым и один раз. Для того, чтобы минимизировать использование l-исчисления, далее бу­дет применяться следующая форма записи:

let v = f (X) in h (v, v)

(слова let, = и in — зарезервированы в языке). В этом случае v будет называться ло­каль­ной переменной.