makoven
Мы беседуем с тайпчекером, объясняя ему подробно как работает наш код. Если в дальнейшем, на 100001 строке мы начинаем себе противоречить, чекер это заметит. А ошибаемся мы чаще компуктера
Безусловно. Я не говорю что типизация - зло. Просто я не считаю что ее ставить надо в наивысший приоритет. В принципе то, что ты описал, мы делали с жсдок насколько помню на одном проекте. При этом у нас чаще тесты говорили что мы ебобо, чем типизация 🌚