это очень странный термин, он непонятный, он легаси и т.д., но чекаются динамически таки типы и более менее пофиг называешь ты их типами или тегами типов(если есть теги типов то логично, что должны быть где-то типы, нет?)
Ну просто странно называть по разному устроенные вещи одним словом, не находите? Даже если обе эти вещи являются аналогом другого понятия из другой предметной области
Обсуждают сегодня