Я на расте пописываю, и у меня довольно часто несовпадение типов, вот только мне не нужно головой запоминать где какой тип должен идти. А так вертишь кучу тестов, гоняешь на проде и надеешься что нигде в большой системе ничего не напутал (без типов).