Спасибо, очень интересно.

По поводу функциональной природы, которую Вы хотели бы видеть у языков верхних уровней. Аргументы "за" понятны. Но по существу, эти аргументы связаны обычно с тем, что ФП снимает некоторые недостатки ИП.

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