Насколько высоко должны / будут идти языки высокого уровня?

Я знаю, что это очень абстрактно, однако я считаю, что он очень сфокусирован.

Сегодня существует множество языков высокого уровня: C # , Java , VB , Python и т. Д., Все создано для абстрагирования низкоуровневой сложности и обеспечения более удобного программирования. Языки высокого уровня могут уменьшить, а в большинстве случаев полностью устранить необходимость выполнения низкоуровневых операций, специфичных для процесса (таких как манипуляции с указателями и управление памятью). Многие также удаляют детали платформы (например, манипуляции с файлами, создание пользовательского интерфейса и т. Д.)

У меня два вопроса:

1. Что еще можно / нужно абстрагировать? Есть ли еще какая-нибудь семантика низкого уровня в сегодняшних языках высокого уровня, которая будет / должна быть абстрагирована дальше?
2. В какой момент универсальный, язык высокого уровня становится очень высокоуровневым , иначе целенаправленным ?