Тут у Джона ДеГоеза вышел новый пост про Effect Tracking. Собственно смысл поста в том, что трекинг эффектов(всякие аннотации типа @Pure и аттрибуты типа PureAttribute) нинужен.
Пост очень годный и интересный, но вот по поводу императивных языков(в посте есть пример с Java) я прям категорически не согласен. К большому сожалению, для меня ситуации с сайд-эффектами в, казалось бы, чистых методах -- суровая реальность. И, мне никак не помогали ни сигнатуры методов, ни IDE, ни какой-либо другой тулинг избежать кучи человеко-часов фиксов условных bool Validate() взрывающихся с IOException.
Более того, в наших суровых реалиях тулинг, для поддержки такого функционала, требует EffectTracking'a 😔