одной области видимости изменяется много [переменное количество] раз, так ведь? есть ещё такие ситуации, кроме циклов?
поскольку циклы заменяются на рекурсию, этот случай пропадает. а в остальных, когда мы пару раз хотим заменить значение и искользуем для этого старое имя х - это просто некоторая оптимизация, которая достигается ценой забывания истории значений, которая хранится, если не изменять именованные значения х, х', х''
то есть когда нужна концепция мутации? когда мы ориентируемся на железо (собранное по архитектуре Тьюринга) и у нас нет линейных типов. есть мнение, что с нормальными линейными типами думать о мутации не будет нужно
Обсуждают сегодня