SP
врапаешь тип типом получаешь удобный матч. потом этот матч тоже врапаешь. ну громоздко да
Size: a a a
2021 February 14
Z
только что озарило что предьява царя к расту в том что нельзя чтобы возражение скушало часть сумтипа как это делает тс
отсутствие структурных, а не номинативных размеченных сум-типов точнее?
SP
ну вероятно
Z
врапаешь тип типом получаешь удобный матч. потом этот матч тоже врапаешь. ну громоздко да
настолько громоздко что даже implicit conversion к "?" прикрутили
SP
ну я периодически про это вмпоминаю. забей. тут дело в другом - можно ли по этим канонам чтото прикольное родить
ΑZ
только что озарило что предьява царя к расту в том что нельзя чтобы возражение скушало часть сумтипа как это делает тс
можнопример?
ΑZ
я знаю только фишку скалы где ты можешь разбор сумтипа из 6 вариантов разбить на вызов 3 фунок каждая из которых 2 варианта чекает
SP
забавно
SP
в тс можно сделать Pick<'1', '1' | '2'>
SP
и это и делают заходы в ветки
SP
можнопример?
ну это конечно минус тс. у тебя там сумтип это какое то условное обьединение типов которое очень просто шатать
SP
SP
ну самый простой вариант
SP
о. вчера я видел крутой пример. ща
p
в тс можно сделать Pick<'1', '1' | '2'>
Мы с Хиро и вафнлем делали рфц по этому поводу
ΑZ
в тс можно сделать Pick<'1', '1' | '2'>
не понимаю что это должно значить
ΑZ
тут тоже ничо непонятно
SP
ну наводишь мышкой на чтото там пишется тип
ΑZ
ну я функи без сигнатур в прицнипе не пишу
ΑZ
непонятно чем это должно отличаться от ручного
export function trololo(a: any) : 1 | 2 | 3
export function trololo(a: any) : 1 | 2 | 3