У меня примерно такая эволюция была.
Меняется, дополняется информация и я уже другой ТИМ рассматривать готова.))) Но ведь что получается, мы ведь типируем по поведенческим реакциям, считай, а у профи-типировщиков разработаны целые методики определения на мерности функций и тп. И если 80% этих профи выявляют Гамлета, это ведь не спроста. Этому должно быть подтверждении при типировании. И они эти подтверждения видят же! В отличие от нас, случайных прохожих.
Вооот. У каждого из нас сложился в голове свой образ ТИМов. И не факт, что он верный! А ещё далеко не факт, что у всех этот образ одинаков, отчего и начинается вся эта возня с несоответствием представлений друг друга.
