Здравствуйте, os24ever, Вы писали:

O>▪ Отказались от оператора безусловного перехода, придумав циклы (ПЛ/1 с Паскалем),

Небольшой офтоп: упёртая штука этот goto, столько обходных манёвров понапридумывали, а ликвидировать полностью не могут. Более того, в Lua только совсем недавно специально ввели goto.

O>▪ Отказались от ссылок в глобальной области видимости (Erlang, Scala — наконец-то!!) и т.д...

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

А вот по поводу Scala: каким образом она сейчас даёт железные гарантии на уровне языка по поводу отсутствия разделяемых данных? Можно в двух словах или ссылку (я как-то уже не слежу за развитием последних версий).