AS
магия
Size: a a a
2019 December 21
p
Спасибо.
AS
Интересная вещь - недавно вышел новый Ember - он же Octane https://blog.emberjs.com/2019/12/20/octane-is-here.html
TG
почему ts не ругается?
IK
Потому что any вирусный
IK
Он прекращает вывод типов
TG
но в результате совсем не логичный код получается. это баг или какой-то вынужденный компромисс? что это?
IK
Почему не логичный ?
TG
ну как минимум по этому. функция возвращает boolean, да только на деле string там.
K
!!item && … в таком случае нужно использоватьTG
ну понятно что можно как-то обойти. но суть в том что вот, уязвимый код, который вроде тепизирован, а на деле нефига не типизирован...
ЕА
ну понятно что можно как-то обойти. но суть в том что вот, уязвимый код, который вроде тепизирован, а на деле нефига не типизирован...
у вас ведь на вход any, ts кажется не может запретить вам строку передавать иначе это не any будет.
IK
ну понятно что можно как-то обойти. но суть в том что вот, уязвимый код, который вроде тепизирован, а на деле нефига не типизирован...
Если вы используете any то сами виноваты
TG
Если вы используете any то сами виноваты
в чем?
IK
Ещё раз - any это "не проверять типы"
IK
А не "все возможные типы"
IK
Тип на входе должен быть unknown :)
TG
и правда судя по доке так и есть) но как же быть если я хочу описать как бы "все типы" для входного параметра.
IK
и правда судя по доке так и есть) но как же быть если я хочу описать как бы "все типы" для входного параметра.
Советую чу-чуть изучить теорию типов
IK
Чтоб понимать при типизации что такое lower bound и upper bound