そもそも論だけど型云々がないとバグが減らせないレベルだと本当のバグを減らすことができないんだよ
型がちがってて起こりえるエラーなんてほんと初歩エラーレベルだし変数ウォッチしてりゃ気づく
一切効果がないとは言わないがほぼ意味はない
冗長的なコードかく時点で生産性は下がってるわけで言語的に必須だから従ってるだけで個人的には好き好んでそういうルールを受け入れてる訳ではないな