Types
sdfgh153 — 24.05.2010Интересно было бы поставить эксперимент, взять любую крупную
достаточно стабильную систему реализованную на языке с динамической
типизацией и, помолясь, проверить типы каким-нибудь мифическим
тайп-чекером.
Мифическим потому что он должен без никаких начальных сигнатур
(откуда они возьмутся в динамическом языке) нормально проверить
правильность типов.
У меня ощущение, что ошибок типизации он не найдет.