Замыкания

Функция запоминает окружение, в котором её написали, а не то, откуда её позвали. Это лексическая область видимости: внутренние имена снаружи недоступны, а внешние для функции остаются живыми и после того, как внешняя функция вернула результат.

Замыкание держит привязку, а не значение

Колбэк, созданный внутри цикла, видит не число на своей итерации, а саму переменную — и получит то, что в ней лежит к моменту вызова.

• var в цикле — одна привязка на весь цикл, поэтому все колбэки получают последнее значение.
• let в заголовке for — новая привязка на каждую итерацию, поэтому 0, 1, 2.
• Стрелка и обычная функция в этом смысле одинаковы: важен не синтаксис, а привязка.

Своё окружение на каждый вызов

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