:-) хотелось узнать если есть примеры языков, где стандартный лексический скоуп и можно делать замыкания, но иметь возможность объявить специальную функцию без доступа к scope

По факту это вопрос замкнутости лямбда-терма, т.е. отсутствия в нём свободных переменных. Эту проблему неоднократно исследовали в контексте сериализации (и отправки по сети) функций в разных языках, но я не припомню таких, чтобы всегда запрещали свободные переменные. С другой стороны, если Вы хотите их запретить в своём (а хоть бы и чужом) языке - это очень легко проверить статически (во время проверки типов или около того). Да хоть линтер такой написать.

Python scoped eval kek

выполнение в изолированном контексте — как бы не в Smalltalk такие штуки были, там вроде был явный доступ к стеку фреймов

Rust, если подумать.

А как в расте это сделать?

А, просто не разыменовывать Статик?

Там такое поведение по умолчанию - это если хочется использовать лексический скоуп, то нужно что-то делать. Например, move'ать.

Вы про замыкания. Понял

В C++, строго говоря, так же.

Scheme

сериализуйте вместе с замыканием

в Rust все еще можно глобальные переменные дергать.

"Глобальные константы" скорее. Так что их несложно сериализовать. 😉

а глобальные мутабельные константы? )

Без unsafe не получиться

Haskell со static pointers :)

Не совсем то, но указатель получается именно на функцию, которая не захватывает локальный scope

Подскажите. Правильно ли утверждение, что размещение памяти на стеке для функции определяется во время компиляции. Ну вот в простейшем примере ясно ,что если сразу идёт int x; int y, то можно на стэке выделать по 4 байта для каждой переменной , но если это под условием if? Например так if (something){ intx,y ....} else { double z ...} тут же получается ,что на этапе компиляции нельзя понять сколько памяти понадобится на стеке ?

Тут выделится память и под x, y и под z