Актуальные языки программирования

Когда говорят и пишут о тысячах натуральных языков и ещё тысячах языков программирования (на фоне десятков плановых!), желание их сравнивать отпадает. С другой стороны, ограничение на, так называемых, "популярных" (в том числе и в коммерческой сфере) приводит к абсолютному непониманию основных проблем. Особенно настораживает практика авторов "популярных" языков конструировать "новые". Предлагается ввести понятие "актуального языка программирования" - то есть языка программирования в развитии. Последние версии должны быть не менее двух-четырех лет. Начал делать такой список. Он обозреваем и, конечно, покрывает мейнстрим. Конечная цель - тестирование на совместимость с МЕТАСЕМАНТИКОЙ, анализ лексики. Возможно в сравнении с REBOL (Webassembly, FORTH, Oberon, Erlang, APL, LISP, SmallTalk, Tl/Tcl, Limbo, XL, ...). Попытаться определить минимальную лексику, но с учетом возможности реализации распределенности (механизмы ссылок) и двумерной графики, не говоря уже о единой абстрактной структуре данных. На уровне аппаратной архитектуры анализ можно ограничить RISC архитектурой. Базовая позиция - семантико-ориентированное программирование.