Да. Бывает что делаю дифф на 1000 строчек и после компиляции штуки 3 логических ошибок которые легко находятся
А с тайп-левел петушнёй и процмакросами они практически вообще исчезают. Ибо императивного кода пишется совсем мало, весь основной генерится макросами. А то, что остаётся - очень хорошо тайпчекается, что логическим ошибкам ну ооочень мало где остаётся проскочить.