В программировании не только данные делятся на типы, но и сами типы тоже бывают разных видов. Всё это специально, чтобы запутать начинающих программистов ))) Видимо поэтому (чтобы упростить жизнь программистам) многие современные языки программирования являются нетипизированными. Хотя лично для меня это скорее недостаток, чем преимущество. Переменные разных типов занимают в памяти разный объём. Например, в C# тип int занимает 4 байта, а C++ не менее 2 (обычно зависит от реализации и/или от архитектуры компьютера)...