IK
Предложите другой эксперимент который реально провести на моей позиции и ресурсах
Size: a a a
2021 September 04
VS
Это явно нужно проводить с выборкой девов
EK
Я уже такое много лет назад видел. А знаете где? В мма, где победа конкретного человека давала хайп его боевому искусство, но по факту это не доказывало ничего кроме личного мастерства человека
VS
По 1му примеру не понятно. Но по статистике видно, что борьба очень успешна в мма.
EK
Потому что такие правила
EK
И все уравнивается к правилам, побеждает тот кто лучше вертится в заданных ограничениях
TS
100% поервтие это ни о чеи, если управление пролетело по все строчкам, это не гарантия того, что покрыты все возможные состояния. Есть такая тема - верификация алгоритмов, так вот ооп в принципе не верифицируем из-за того, что нет четко выделенного состояния и много неявных вещей.
VS
вот и по скоросному прикладному программированию JS думаю тоже был бы очень успешен.
EK
Согласен, но докажет ли это что жс лучше тс?
VS
Для меня нет. Для других мб да)
VS
Чего тестируется, только миллион разных комбинаций там. Но до такой степени никто не тестируют, берут какой то ограниченый скоуп стейтов для тестирования.
TS
ни покрытие тестами ни покрытие типами не гарантирует валидного кода. Только стейт машина валидируется полностью
TS
Но тесты все же мощнее типов валидируют
˸A
Я в курсе. Я лишь говорю о том, что тесты не отменяю при использовании ТС
VS
вы всё за 100% гоняетесь.
А я бы смотрел со стороны, что все условия и реквы не помещаются в голову. И типы разгружают голову через стат анализ.
А я бы смотрел со стороны, что все условия и реквы не помещаются в голову. И типы разгружают голову через стат анализ.
TS
Я могу привести пример с асинхронным программированием, где будет два варианта кода идентичных по типам и отличных по поведению
VS
Давайте разберём
VS
Если даже и так. Это докажет, что типы не нужны, или всё таки это не смог тс?
˸A
Седьмая глава книги introduction to functional programming Джона Харрисона. Жаль, тут скриншоты нельзя
TS
Так я же не против типов строгой типизации, я бы не против, если бы они выводились по алгоритму Хиндли-Милнера, а не вот это все