IK
Без HKT мы все равно не можем сделать чтобы invalid state is unrepresentable, поэтому приходится все равно писать тесты, которые решают ту же задачу на долгосроке
Size: a a a
2021 June 05
IK
(Речь о typescript)
VK
Я не понимаю как тесты могут решать "ту же задачу"
Типы обеспечивают надежность не только непосредственно строгостью самих типов, а еще и давая возможность делать удобные инструменты для разработчиков
Если чтобы понять тип функции надо лезть и смотреть в тесты - не думаю, что это очень уж удобно и быстро
Типы обеспечивают надежность не только непосредственно строгостью самих типов, а еще и давая возможность делать удобные инструменты для разработчиков
Если чтобы понять тип функции надо лезть и смотреть в тесты - не думаю, что это очень уж удобно и быстро
IE
Я так понимаю тут вопрос в поддержке типов. Время затраченное на поддержку типизации может быть гораздо больше, чем на "пойти посмотреть"
VK
Писать на динамических языках быстрее, чем на статических на старте - это очевидно
Но есть же другие метрики, особенно в долгосрочной перспективе
Как скорость будет изменяться через несколько лет. когда проект и команда разрастутся?
Но есть же другие метрики, особенно в долгосрочной перспективе
Как скорость будет изменяться через несколько лет. когда проект и команда разрастутся?
IK
Вы опять ставите знак между типами и статической типизацией
IK
Один из проектов живёт 4 года. Скорость команды усредненная по 3 месяцам (velocity) без тс не падает
IK
Это те данные что у меня есть, из доклада
IE
А как решался вопрос типизации в проектах, с которыми ты сталкивался?
IK
Рантайм контрактами на границах модулей
IK
Они в том числе позволяли проверить выполнение ожиданий в стейджинг окружениях, во время тестов и даже когда у клиента возникали проблемы на проде - на проде
IK
Ставили клиенту специальную куку и отдавали ему бандл со включенными контрактами
VS
тем более, мало у какого заказчика есть деньги на 99% покрытие тестами, а баги вылавливать после деплоя никто не хочет или мануально все перетестировать
VK
Я не занимаюсь статистикой, но мне кажется, что это не очень большая выборка
VK
А если им дать не TS - а какую-то нормальную систему типов, все будет еще медленее
И что, статическая типизация не нужна?)
И что, статическая типизация не нужна?)
IE
Забавно, конечно, что часть этих вопросов разбиралась в докладе =)
IK
А кто сказал про 99. Я как раз и утверждаю, и показал на выборке в 200 человек и 30 проектов что оказалось что тесты и ревью дешевле
IK
Все как положено, с контрольной группой, и анализом матожидания
IK
Тесты нужно писать, потому что тс даже в лучшем случае способен поймать только 20 процентов багов в коде
IK
От тестов никуда не деться