Oℕ
Один подход - новый язык, где рантаймовый код сложным образом производится сразу для облачной среды, как в юнисоне
Второй подход - где метаопределения находятся в идеальном пространстве между статикой и динамикой.
Т.е. где-то на уровне сложных типов данных вроде всякой фигни для компиляции в категории.
Где вроде генеришь данные статичные, с другой стороны можешь программировать на них