История изменений
Исправление special-k, (текущая версия) :
или иной статический анализ
Т.е. способов статического анализа - много. В т.ч. и для статических языков - периодически появляются статьи про статический анализ какого-либо программного продукты с выявлением такого-то количества реальных/потенциальных ошибок. В общем, то, что какой-то статический анализатор связанный с типами идет из коробки - это ничего особенного. Через те же комментарии можно реализовать статическую типизацию в любом динамическом языке, и еще 100500 различных анализов.
Исправление special-k, :
или иной статический анализ
Т.е. способов статического анализа - много. В т.ч. и для статических языков - периодически появляются статьи про статический анализ какого-либо программного продукты с выявлением такого-то количества реальных/потенциальных ошибок. В общем, то, что какой-то статический анализатор связанный с типами идет из коробки - это ничего особенного. Через те же комментарии можно реализовать статическую типизацию в любом динамическом языке.
Исходная версия special-k, :
или иной статический анализ
Т.е. способов статического анализа - много.