SP
причем тут 10?
в тс плейграунде
Operator '+' cannot be applied to types 'string | number' and 'string | number'.(2365)
Size: a a a
2020 April 23
ДБ
конечно, потому что string | number динамика
SP
функия обьявлена на всем типе а не на части типа для которого она валидна
SP
конечно, потому что string | number динамика
нет. string | number это сумтип
ДБ
в тс плейграунде
Operator '+' cannot be applied to types 'string | number' and 'string | number'.(2365)
Operator '+' cannot be applied to types 'string | number' and 'string | number'.(2365)
да, нужен рантайм typeof, чтоб отделить один тип от другого, в этом и разница
SS
Лучше на такие сайты ваще не попадать
SP
типы штука котоаря позволяет судить о валидности программы до запуска
^
ДБ
нет. string | number это сумтип
ты не можешь сказать что в нем, строка или число без рантайм проверки
SP
могу послать на хуй за то что путаешь типы и теги, не более
^
SP
Не можешь. У тебя один тип на всю программу ^
^
SP
да, нужен рантайм typeof, чтоб отделить один тип от другого, в этом и разница
не нужен. тип string | number говорит что в рантайме может прийти и строка и намбер. на этом статика кончается и то что ты делаешь в рантайме это вообще другие заботы
SP
ты не можешь сказать что в нем, строка или число без рантайм проверки
я могу сказать что там или строка или намбер
SP
реально я в тупике, серьезно
SP
у тебя походу конкретно предьявы к сумтипам. ну это уже мы проходили с царем
ДБ
function f(arg: string | number) {
return arg + arg;
}
f(10);
f('wow')
какой тип у arg?
return arg + arg;
}
f(10);
f('wow')
какой тип у arg?
а если я вызову так:
f({} as any)
f({} as any)
SP
а если я вызову так:
f({} as any)
f({} as any)
если ты вызовешь так то ты говоришь - тут статика перестает работать и я откатываюсь к динамике
ДБ
если ты вызовешь так то ты говоришь - тут статика перестает работать и я откатываюсь к динамике
вот только f то ничего не знает об этом, она свято уверена что придет string | number
ДБ
а вот if(typeof arg === 'number')
мне гарантирует что в arg число, даже если я на голом js пишу, без всякого ts
мне гарантирует что в arg число, даже если я на голом js пишу, без всякого ts
ДБ
но в рантайме ведь нет типов да?
SP
вот только f то ничего не знает об этом, она свято уверена что придет string | number
ну естественно, потому что ты ее обманываешь. потому что any кастится в любой тип, опять же потому что any динамична и подразумевает что ты сам знаешь что делаешь