В случае когда у нас есть и автопилот и водитель мы не можем точно сказать кто за что в ответе.
А нам и не нужно. Если система водитель + автопилот работает лучше, чем только водитель, значит автопилот полезен.
автопилоты и на машины новичков
Да, такой статистики пока нет (наверное). Из общих соображений: если автопилот даже опытным водителям помогает, то новичкам должен еще лучше. Тоже мысленный эксперимент, конечно, но не такого уровня как у вас.
В любом случае, можно сказать, что пока автопилот полезен — как будет дальше, покажет время.
Зато автопилот справляется с другими случаями, когда человек не справится. Поэтому не так важно, на самом деле, с чем он справляется лучше или хуже. Важно, чтобы аварий было меньше.
RTTI сам по себе практически никогда не является необходимой абстракцией, это скорее «решение для бедных», покрывающее проблемы системы типов конкретного языка
А можете вот это пояснить на моём примере выше? Как бы вы эту задачу решали на языке с хорошей системой типов, но без RTTI?
Поясните, где здесь забивание гвоздей микроскопом? Хотите сказать, что TS не предполагает работы с типами? Или работа с типами в рантайме — это какая-то плохая идея? Я лично всегда считал, что это попросту недостаток выбранной реализации (транспиляции в JS).
Легко. Вот прямо вчера пример: есть тип discriminated union по строкам, ну например:
type mytype = 'string1' | 'string2' | ...
Дальше, имеется строка, полученная с вебсервиса в рантайме. Как проверить, что строка принадлежит этому типу? Быстрое гугление показало, что проще всего сделать массив со всеми валидными строками для типа и использовать его как основу для типа, а проверять через массив. К сожалению, определение типа я изменить не могу, так как он не мой, так что этот способ мне не подходит. Ну и даже этот способ, честно говоря, выглядит костылём.
Да, такой статистики пока нет (наверное). Из общих соображений: если автопилот даже опытным водителям помогает, то новичкам должен еще лучше. Тоже мысленный эксперимент, конечно, но не такого уровня как у вас.
В любом случае, можно сказать, что пока автопилот полезен — как будет дальше, покажет время.
Ну вы статистиков за детей держите. Конечно, сравнивают с моделями аналогичного класса, в одной стране и т.д.
Поясните, где здесь забивание гвоздей микроскопом? Хотите сказать, что TS не предполагает работы с типами? Или работа с типами в рантайме — это какая-то плохая идея? Я лично всегда считал, что это попросту недостаток выбранной реализации (транспиляции в JS).
Дальше, имеется строка, полученная с вебсервиса в рантайме. Как проверить, что строка принадлежит этому типу? Быстрое гугление показало, что проще всего сделать массив со всеми валидными строками для типа и использовать его как основу для типа, а проверять через массив. К сожалению, определение типа я изменить не могу, так как он не мой, так что этот способ мне не подходит. Ну и даже этот способ, честно говоря, выглядит костылём.