Понимаешь, Агрессор. Эти все языки — они равновыразтельны с математической точки зрения. А далее — как с естессвенными — что в одном лучше, что-то в другом. Но сделать полностью универсальный — тут, по-крайней мере два возвражения:
1. Сложность языка получится офигительная. Либо база большая и правил поменьше, либо база поменьше, но правил будет много и сложных (правила, описывающие правила и т.д.).
2. Есть вещи, которые в языке не предусмотришь — ну, скажем, кто думал про ООП 50 лет назад? Или параллелизм? Скажем, Дийкстра вёл понятия семафора в 196х (когда там он написал статью про алгоритм банкира?). Но это вещь очень низкого уровня, хотя понятна изначально. А вот мониторные скобки — это уже уровень повыше. Они логически по-крупнее, оперировать ими проще, но потребовалось 10 лет, чтобы развить теорию. Рандеву с сообщениями и событиями (как раз то, что в Аде) — считается ещё выше и потребовало ещё около 10 лет. Наборы эти — равномощны, удобство использования — разное. Это как в языке — новое понятие приходит в язык и кажется всё просто. А не выходит — за этим понятием стоит семантика — приходится человеков долго этой семантике учить. А тут придётся все компиляторы-среды переделывать.
Ну и возражение, приведённое выше — тоже играет роль — не будешь же ты забивать микроскопом гвозди?