Здравствуйте, neFormal, Вы писали:

BZ>>>особенно в многопоточной среде кстати.
EP>>Какая разница мутируем ли мы локальные переменные функций?
F>а какие языки позволяют мутировать только локальные переменные?

Например в Haskell есть ST Monad, которая в определённом смысле позволяет мутировать локальные переменные в ограниченной области видимости, при этом возвращая чистый результат. Конечно неудобно, через многоэтажные замыкания (скрытые под синтаксических сахаром do), но всё же позволяет.