Тим - это констатация текущего набора и состояния разных свойств, которые можно менять.
Свойства? может быть и неизенные. Просто состояния (ситуации) в которых эти свойства имеют место быть настолько переменчивы и нестабильны, что идея постоянства этих свойств лишена практического смысла.
Это как универсальная газовая постоянная в уравнении Клапейрона-Менделеева.
Она не имеет никакого практического смысла если не известны температура и ибъем. И только при наличии информации о температуре и объеме эта постоянная обретает некий практический смысл…
А в условиях когда температура нестабильна, объем постоянно меняется эта постоянная попросту не нужна. Даже определить ее не представляется возможным - отсюда и нестабильность результатов типирования.
Сегодня Механик у балансера бальзак, а вчера был габеном. А завтра может стать маскимом горьким… Изменилось состояние - меняется результат тепирования…
ТИМ - это сферический конь в вакууме…