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