оГ
А онанизмирующие рекорды - можно?
Size: a a a
2020 May 15
оГ
Заместо туплей-то?
VS
в те годы они еще не анонимировали)
SB
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм.
type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?AH
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм.
type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?Потому что нельзя. В скале 3 и тайп скрипте можно
SB
Потому что нельзя. В скале 3 и тайп скрипте можно
в Тайпскрипте очень часто этим пользуют и ОЧЕНЬ ДОВОЛЕН111!
AH
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм.
type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?Анонимные Ду оксюморон, так как они по дефинишну должны быть размечены
AH
То есть два одинаковых по виду объединения могут быть разными
VK
пачиму нельзя новые анонимные DU делать на лету на основе уже существующих. сумма сумм.
type AorB = | A | B, type CorD = | C | D и ВНЕЗАПНО let f (x: AorB | CorD) = match по A | B | C | D. или можно но я не знаю как?SB
Анонимные Ду оксюморон, так как они по дефинишну должны быть размечены
поясни как для дебила что ты имеешь в виду. по какому дефинишину?
AH
поясни как для дебила что ты имеешь в виду. по какому дефинишину?
По определению Discriminated
AH
То есть int | int != Int | int
AH
Если мы говорим про ДУ
AH
Это только юнион типы так работают
SB
То есть int | int != Int | int
вот это не пониманию из чего следует. видимо тут что-то вроде
int != Int ==> int | Int != int | int?AH
(которых у нас нет)
AH
вот это не пониманию из чего следует. видимо тут что-то вроде
int != Int ==> int | Int != int | int?Не, у меня везде один и тот же инт) просто телефон подвёл
SB
тогда
int | int != int | int нарушает рефлексивно, т.к. \forall x: x = x. я тебя наверно нипанимаю. но суть в том, что я хочу как в TS: просто на ходу лепить AorB | CorD и объявлять все это явно.AH
Короче, вот смотри
type UserIdOrError =
| UserId of int
| Error of code
type Response =
| Value of int
| HttpStatusCode of int
type UserIdOrError =
| UserId of int
| Error of code
type Response =
| Value of int
| HttpStatusCode of int