This is already a thing, compiled languages have been doing this for decades. This is just C++ templates with extra steps.