Исправление be_nt_all, (текущая версия) :
http://babelsberg.github.io/babelsberg-s/ — cсылка с офсайта Squeak. Подробности не смотрел, но вроде не самый дикий матан (обычные инварианты, их кажется Вирт в каком-то своём учебнике описывал, правда предлагал держать в голове, а не скармливать компилятору).
А PVS-Studio — статический анализатор, как-то сомневаюсь что к столь динамическому языку, как Smalltalk, такое прикручивается в принципе.
Исправление be_nt_all, :
http://babelsberg.github.io/babelsberg-s/ — cсылка с офсайта Squeak. Подробности не смотрел, но вроде не самый дикий матан (обычные инварианты, их кажется Вирт в каком-то своём учебнике описывал, правда предлагал держать в голове, а не скармливать компилятору).
А PWS-Studio — статический анализатор, как-то сомневаюсь что к столь динамическому языку, как Smalltalk, такое прикручивается в принципе.
Исходная версия be_nt_all, :
http://babelsberg.github.io/babelsberg-s/ — cсылка с офсайта Squeak. Подробности не смотрел, но вроде не самый дикий матан. А PWS-Studio — статический анализатор, как-то сомневаюсь что к столь динамическому языку, как Smalltalk не уверенЮ что такое прикручивается в принципе.