я не понял значит, что ты подразумеваешь под систематическими багами

У цьому й біда, нє?)

а как же типы?

и нейминг там правильный

ну тьі бьі еще привел в пример конекшен таймаут между микросервисами, вообще не о том)

ну тогда когда говоришь что типы сильно помогают баги ловить, ты конкретизируй, какие именно

function add(a:number, b: number) {return a+b}

add('five', 5)

вот тебе пример

и где здесь баг?

юзеринпут может иметь любое значение

такое

ок, Витя, не продолжай, просто закроем тему, спасибо 🙂

тьі интересньій, но с тобой сложно

Пример: нам отдали приложение, написанное на жс, в котором был список багов типа "нажимаем на этот чекбокс, не происходит того, что должно". Мы перевели на тс, тс нашёл, что из сдк метод вызывается не с теми параметрами или не в том виде. Поправили так, что б правильно по типам были, с десяток багов исправилось)
Тут конечно проблема в том, что похоже вообще особо не тестировали, что сделали, но с типами бы и этого не было

эх я так надеялся что разговор не свернет в обсуждение тс

ну блин, пример за уши притянут
несоответствие контрактов произошло

я не говорю что типы не нужны, если что, а то знаю я вас

Пример не притянут за уши, а реальная история произошедшая пару месяцев назад

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

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