Що визначає тип змінної С++?

Як ідентифікатори типових змінних у теорії типів традиційно використовуються літери грецького алфавіту (хоча багато мов програмування використовують латиницю і допускають і більш довгі іменування).