Нет. Высокоуровневые языки просто уходят от низкоуровневых конструкций.
Например есть низкоуровневый машинный код, ниже которого только электрические сигналы.
Есть ассемблер, который абстрагируется от машинного кода и уже работает на уровне инструкций и регистров
Есть си, который уже работает с переменными, указателями и структурами
Есть C++ в котором уже есть объекты, наследование и прочее ООП.
А есть python, который просто интерпретируемый.
И имеет динамическую типизацию и сборщик мусора.
Ну и высокоуровневый язык != медленный.
Как пример - Rust, в котором есть очень высокоуровневые абстракции, но при этом он не уступает Си ни в скорости, ни в потреблении памяти.
При этом высокоуровневый язык не всегда строится поверх низкоуровневого - очень часто пишется компилятор/интерпретатор который сразу приводит его к машинному коду. Сишные библиотеки тоже в результате выдают машинный код.
