я просто не понимаю, почему там в статье стек это "к сожалению".

Возможно к тому, что нет возможности сделать это отдельно от «setlocal», а не про сам стек собственно.

Да, это именно стек. В теории алгоритмов и в программировании стек является одним из важнейших инструментов. И на уровне машинной логики, и на уровне микропрограмм.

Для таких ЯВУ, как С и ему наследующие, стек является образующей технологией обработки функций — аргументы функций помещаются в стек в обратном порядке, что позволяет прозрачно использовать функции с переменным числом аргументов.

Есть даже такой потрясающий ЯВУ (ещё более «низкоуровневый», нежели С), как Forth (Форт (язык программирования) — Википедия), где вся идеология полностью построена на стеке и постфиксной записи.

Стек в данном случае организуется не отложенным раскрытием, а самой командой «setlocal».

Да это я понял, что дело в «setlocal», я просто не понимаю, почему там в статье стек это "к сожалению". А без «setlocal» стек не используется что ли? Я вот щас что-то припоминаю, что бывает какое-то "переполнение стека" — может имеется в виду это? Я извиняюсь, если вопросы тупые, просто я не программист и очевидные для других моменты для меня бывают непонятны.

P.S. (извиняюсь, просто небольщой офф-топ, не мог удержаться :)) вообще, у меня слово "стек" ассоциируется с такими (если кто помнит) тупыми советскими программируемыми калькуляторами 1980-х годов, они программировались на идиотской, так называемой "обратной польской бесскобочной логике", там числа сначала загонялись в стек, а потом вводились команды. Я как ни бился башкой об стену, но так к этой "бесскобочности" привыкнуть не смог, так что слово "стек" вызывает у меня сугубо негативные эмоции :)

Теперь именно по первому вопросу:

Стек в данном случае организуется не отложенным раскрытием, а самой командой «setlocal». Ну, вот так реализовали. Вся «плохость» состоит только в этом.

Как это выглядит? Как обычный стек, FILO, «первым пришёл — последним ушёл». Кладётся на вершину стека по использованию команды setlocal, снимается по команде endlocal или завершению контекста текущего пакетного файла.