Объяснение
Лексическая область видимости определяется местом объявления. Замыкание объединяет функцию с окружением, нужным для её исполнения. Захват значения и захват изменяемой ячейки имеют разное поведение.
Задача для самостоятельного решения
Счётчик хранит n=0 и возвращает функцию, увеличивающую n. Что дают два вызова?
Показать разбор ответа
1 и 2, если захвачена одна изменяемая ячейка. Новый вызов фабрики создаёт независимую ячейку. Это объясняет, почему разные счётчики не обязаны разделять состояние.