Хотя чего это я. Даже если говорить про тривиальщину типа hello world, на плюсах уже интересная магия происходит с cout, перегрузкой операторов, инклюдами, неймспейсами.
Для этого надо было бы std::string и форматирование затащить в core language, на такое комитет вряд ли пойдёт. В Python в отличие от C++ строки всегда были встроенными типами.
Ну std::format мне кажется более менее бесполезным. Есть же printf, покрывающий множество простых случаев. И там есть статическая проверка типов в gcc/clang/msvc.
Интересно, а нельзя сделать просто оптимизацию в компиляторе, которая меняет switch на computed goto? Ну с добавлением bound check? У нас же часто стоят switch по содержимому какого-то enum, т.е. индексы идут сплошняком.