I could be wrong, but I have the impression what you are looking for is how constexpr and consteval work in C++ https://en.cppreference.com/w/cpp/language/consteval