что думаете про некий протоязык компилятора, который просто дает полный доступ ко всему, не ограничивая возможности. и там уже пользователь может выбрать что-то типа разных парадигм, чего-то типа языков, ну или написать свое
т.е. изначально компилятор обладает самыми минимальными возможностями, типа знает опкоды, умеет выделять память, взаимодействовать с ОС, но сам код типа обьектов и типов - не определен еще