A
понятно, что совсем никак не перестраховаться, но вдруг кто что изощренней придумал
Size: a a a
2020 April 24
A
например, в свифте я бы написал так
A
extension Collection {
subscript (safe index: Index) -> Element? {
return indices.contains(index) ? self[index] : nil
}
}ц
Если у тебя паранойя, то объявляй массив как Array<T | undefined>
Зачем андеф а не нулл?
VK
Потому что чтение несуществующего индекса отдаст undefined
ц
Логично
ц
Но по идее нулл логичнее
VK
Реальность следующая - чтение по индексу в основном не нужно. Когда оно нужно, чаще всего нужно чтобы было и эффективно, поэтому типобезопасность только помешает
PE
цыганский космодесант
Но по идее нулл логичнее
Весьма спорно. Вообще-то семантика undefined здесь ближе: "не задано", а не "ничего".
VK
Вот пример из мира, где чтение из массивов безопасно:
https://hegel.js.org/try#MYewdgzgLgBAhgJwQLhgQSXAngHjAVwFsAjAUwQD4YBeGAbQEYAaAJiYGYBdAbgCh+AZiAQwAFABtSsAJY0YABm4xZOeEgB0ksAHMoACyXSA1EYCUAb14xrahHWmd1UEADFpAD1IATUab4BfIA
https://hegel.js.org/try#MYewdgzgLgBAhgJwQLhgQSXAngHjAVwFsAjAUwQD4YBeGAbQEYAaAJiYGYBdAbgCh+AZiAQwAFABtSsAJY0YABm4xZOeEgB0ksAHMoACyXSA1EYCUAb14xrahHWmd1UEADFpAD1IATUab4BfIA
VK
В таком ключе производительность быстро пойдет в топку на лишние проверки
PE
Теоретически какой-то type elision мог бы убеждаться, что для индекса сделаны необходимые проверки и теперь мы понимаем, что индекс принадлежит множеству допустимых значений, и это могло бы быть бесплатно в рантайме.
VK
> бы убеждаться, что для индекса сделаны необходимые проверки
Это далеко за пределами скоупа TS и большинство статически типизированных языков
Это далеко за пределами скоупа TS и большинство статически типизированных языков
DS
Всем привет, подскажите, почему в данном коде у a тип 'string | number' и он не работает?
https://pastebin.com/WVyFVEw8
https://pastebin.com/WVyFVEw8
ц
Весьма спорно. Вообще-то семантика undefined здесь ближе: "не задано", а не "ничего".
В контексте яп где андеф это тип это логично, да
ц
Всем привет, подскажите, почему в данном коде у a тип 'string | number' и он не работает?
https://pastebin.com/WVyFVEw8
https://pastebin.com/WVyFVEw8
У меня есть стикер на такой случай
˸A
ребят, подскажите, при запуске проверки типов тс засирает всё картами и скопмиленным кодом. можно это говно как-то убрать? именно на
tscон создаёт это вот, а оно не надо мне
ts-node - не вариант?
A
Вот пример из мира, где чтение из массивов безопасно:
https://hegel.js.org/try#MYewdgzgLgBAhgJwQLhgQSXAngHjAVwFsAjAUwQD4YBeGAbQEYAaAJiYGYBdAbgCh+AZiAQwAFABtSsAJY0YABm4xZOeEgB0ksAHMoACyXSA1EYCUAb14xrahHWmd1UEADFpAD1IATUab4BfIA
https://hegel.js.org/try#MYewdgzgLgBAhgJwQLhgQSXAngHjAVwFsAjAUwQD4YBeGAbQEYAaAJiYGYBdAbgCh+AZiAQwAFABtSsAJY0YABm4xZOeEgB0ksAHMoACyXSA1EYCUAb14xrahHWmd1UEADFpAD1IATUab4BfIA
спасибо
DV
ts-node - не вариант?
noEmit решил вопросики
D
Привет а может кто подскажет может typescript вывсести через генерики итоговый возврящаемый тип r ? https://www.typescriptlang.org/play/#code/MYewdgzgLgBMMF4YB4AqA+AFAQwFw1QEpF0YBvAWACgZaYAnAUygFd6wZsBuagX2tCRY2RCgw58REuRjU6DZmw7IAYgDkYjAB5RGYACYQYEgsQSkASovaoAngAdGqtaSwAjfOrOlKNeXSZWdhg3HEIeP1p+KmiBcGgYADNRbEwARnC4oQZRRMxgcKA