AH
Тут 2 Ду, 4 инта
Size: a a a
2020 May 15
AH
В юнион типах
(int|int) | (int|int) === int
(int|int) | (int|int) === int
AH
В размеченных объединениях
(int|int) | (int|int) === int|int|int|int
(int|int) | (int|int) === int|int|int|int
SB
да. но тут же другое множество будет по определению. условно
{ (1, UserId of int), (2, Error of code), (3, Value of int), (4, HttpStatusCode of int) }.оГ
в те годы они еще не анонимировали)
Анонимные внутри query CE говном кидаются в рантайме
SB
это не эквивалентно
int | int | int | intAH
это не эквивалентно
int | int | int | intДа, я теги скипнул, писать долго
AH
да. но тут же другое множество будет по определению. условно
{ (1, UserId of int), (2, Error of code), (3, Value of int), (4, HttpStatusCode of int) }.Короче, у нас нет юнион типов.
Нельзя взять и написать тип
A | B
Нельзя взять и написать тип
A | B
AH
У нас даже синтаксиса такого нет
SB
Да, я теги скипнул, писать долго
так епта!11 что в моем, что в твоем примере все работает. что за консерн тогда?? (x + y) + (b + c) = x + y + b + c. ВСЕ СОШЛОСЬ, ЭВРИКА!!!1
AH
Только
| TagName of type
| TagName of type
SB
У нас даже синтаксиса такого нет
а, это уже другое! недоработка!!1 надо арбайтен, шнеля-шнеля. полезная фича же!
AH
так епта!11 что в моем, что в твоем примере все работает. что за консерн тогда?? (x + y) + (b + c) = x + y + b + c. ВСЕ СОШЛОСЬ, ЭВРИКА!!!1
Я согласный!! Но у нас этого нет!111
VS
VK
тут дактайпинг хотят или что
SB
Кому полезная?
ну меньше именованных обобщений будут там, где они нужны для 1-2 функций и все.