В настоящий момент, на мой взгляд, бытует неверная трактовка. Следует различать мощную систему типов и мощную систему вывода и проверки типов. То что под этим подразумевают обычно, означает именно второе, что в корне неверно. Причем, тут существует зависимость: чем примитивнее система типов, тем больше возможностей у тайпчекера. Мощность системы типов означает строго обратное: в силу мощности системы, статический анализ типов невозможен. В частности, это означает возможности манипуляции первоклассными типами и рефлексии. Такими свойствами обладают системы-последователи Smalltalk, в первую очередь. Употребление термина «мощная система типов» в отношении статически-типизированных языков является не более чем маркетинговым ходом, это полностью искажает настоящий смысл.
Перемещено tailgunner из development
