Список проголосовавших за комментарий "<p>meat, статический анализ — это образно проверка соответствует ли данный код системе типов языка или нет. если система типов простая — то и проверка простая. нету у тебя дженириков в языке — твой статический анализ не сможет гарантированно обнаружить ошибку когда ты не правильно работаешь с элементами хэш-а/массива. чем сложнее система типов — тем больше гарантий, на уровне scala, haskell успешная компиляция значит что все уже неплохо и проверок там значительно больше.<br/> Чем сложнее система типов языка — тем меньше тестов в случае правильного ее использования. то что php что то умеет из статического анализа я не спорю, но это совсем не много.<br/> <br/> </p><p>писать можно по разному, смотря что и для чего делаешь, но иметь возможность интенсивно использовать абстракции очень полезно.<br/> <br/> </p>"