Destriero пишет:
зачастую типировщик определяет ТИМ инсайтоподобно, а потом ищет к этому тиму аргументы.
Инсайтоподобно - это про всех статиков характерно, "а потом - аргументы" - это статика+БЛ2.
Причём, если ты, чувак, статик - так и типируй как статик. Статик видит картину в целом, не обращая внимания на детали и если он сразу при взгляде на фото видит "это фото такого-то ТИМа", то совершенно неважно, что там в деталях. Да, у статиков ускользают мелкие детали, но зато по-крупному они ошибаются реже (при должном опыте типирования - именно поэтому статикам нужно правильную дать базу правильных примеров ТИМ, особенно там где "у меня таких друзей/знакомых мало было, поэтому я хз что за ТИМ").
