Нет.
Гифка лишь разбрасывается терминами из С++. На практике всё перечисленное ни как не обедняется.
В С++ есть поддержка неявной типизации. но используя её ты упрёшься в некоторые ограничения. по использованию С++ всего в целом.
Почему не С++?
