> -- Kemet писал(а):
> Так ведь чистые функции могут обращаться к другим чистым функциям
Да, ЧФ могут обращаться к другим ЧФ, а для этого у них должна быть своя цепочка областей видимости. Общая цепочка видимости будет включать цепочку ЧФ, но не наоборот.

> -- Kemet писал(а):
> поэтому только локальным контекстом обойтись нельзя и придётся, всё же править компилятор и сканер и семантический анализатор.Конечно. Есть другие варианты?

> -- Kemet писал(а):
> И ещё, как быть с формальными параметрами? Их можно изменять, если они по значению передаются?Не знаю. Надо думать.