Возможно задаю глупый вопрос, так что извиняйте, почему бы в языках программирования не сделать динамические переменные?

Есть несколько различных типов и у них свой размер, int имеет 32 бита, short int 16, long long 64 bit также есть типы для хранения чисел с плавающей точкой float и double, программистам приходится выбирать соответствующие типы для своих программ, и выбирать разумно, допустим я делаю программу и я использовал тип int для своей программы, но вот незадача, оно оказалось слишком маленьким для хранения большого числа, мне придется открывать среду разработки и менять типы данных, и снова делать компиляцию. Почему бы не сделать динамический тип который сам будет определяться к какому типу он будет соотноситься, в зависимости от того что было присвоено переменной, и чтобы он сам выбирал соответствующий размер для хранения данного значения. Да я знаю что в языках JavaScript и PHP типы данных выбираются автоматически но это совсем не то что хотелось бы.