я у
@p0lunin 'а спрашиваю он мне говорит что тип в компил тайме - это тип! не феечка и не динозавр а тип!
Правильно говорит. Ту информацию о типах, которую проверяют на этапе компиляции - и называют "типами", потому что в результате этих проверок в рантайме нельзя присвоить значение одного типа другому, программа просто не скомпилится. То есть все данные делятся на типы, которые нельзя смешать.
А если информация о типе содержится в рантайме - то это просто информация о типе, не более, и компилятор не запрещает программы, где в рантайме значениям одних данных присваивать значения других. Потому и называют "тегом" или "меткой".