Никто ведь не спорит, что тесты нужны, но со статической типизацией и развитой системой типов их нужно меньше. К тому же, типы - это доказательство отсутствия определённого спектра ошибок, а тесты могут показать лишь наличие ошибок.
выше ж писали, что правильные тесты не нужны, всё равно это всё вероятностное. просто делай 100% покрытия, а баги как динозавры на улице -- либо встретишь, либо нет